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

fixed pointmodal logicdefinabilitytemporal logic

Mathematics Subject Classification ID

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

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)

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

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)