On modal \(\mu \)-calculus and Gödel-Löb logic

DOI10.1007/s11225-009-9170-9zbMath1201.03008MaRDI QIDQ1015480

Luca Alberucci, Alessandro Facchini

Publication date: 8 May 2009

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/36790/1/11225_2009_Article_9170.pdf

zbMATH Keywords

fixpoint; modal \(\mu \)-calculus; Gödel-Löb logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Circular proofs for the Gödel-Löb provability logic, Some modal aspects of XPath, ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH, The modalμ-calculus hierarchy over restricted classes of transition systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• An automata theoretic decision procedure for the propositional mu- calculus
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Modal frame correspondences and fixed-points
• A lattice-theoretical fixpoint theorem and its applications
• The modalμ-calculus hierarchy over restricted classes of transition systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Alternating tree automata, parity games, and modal \(\mu\)-calculus