Fixed points of formulas with double modalities

MaRDI QIDQ2885299zbMATH OpenFDO

Authors S. I. Mardaev

Publication date 21 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

definabilityfixed pointmodal logictemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Fixed points of modal DS-formulas
• Fixed points of modal schemes
• The equational logic of fixed points
• The fixed point property in modal logic
• Modal frame correspondences and fixed-points
• scientific article; zbMATH DE number 1309464
• Modal fixed point logics
• The fixed point property and a technique to harness double fixed point combinators
• Combining deduction modulo and logics of fixed-point definitions
• CONCUR 2004 - Concurrency Theory

Cited in

(7)

• Submodel-defining formulas
• Modal fixed point logics
• Definable fixed points in modal and temporal logics -- a survey
• scientific article; zbMATH DE number 1396726 (Why is no real title available?)
• Fixed points of modal DS-formulas
• Fixed Points in Tense Models
• Minimal predicates, fixed-points, and definability

This page was built for publication: Fixed points of formulas with double modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885299)