Fixed points of formulas with double modalities

zbMATH Open1249.03009MaRDI QIDQ2885299FDOQ2885299

Authors: S. I. Mardaev 

Publication date: 21 May 2012

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

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

zbMATH Keywords

fixed pointmodal logicdefinabilitytemporal logic

Mathematics Subject Classification ID

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

Cited In (7)

• Minimal predicates, fixed-points, and definability
• Modal fixed point logics
• Submodel-defining formulas
• Fixed Points in Tense Models
• Fixed points of modal DS-formulas
• Definable fixed points in modal and temporal logics -- a survey
• Title not available (Why is that?)

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)