Fixed points of formulas with double modalities

zbMATH Open1249.03009MaRDI QIDQ2885299

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

modal logicfixed pointdefinabilitytemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Fixed points of modal schemes 👍 👎
• The equational logic of fixed points 👍 👎
• The fixed point property in modal logic 👍 👎
• Modal frame correspondences and fixed-points 👍 👎
• Combining Deduction Modulo and Logics of Fixed-Point Definitions 👍 👎
• Modal Fixed Point Logics 👍 👎
• The fixed point property and a technique to harness double fixed point combinators 👍 👎
• CONCUR 2004 - Concurrency Theory 👍 👎

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)