The modalμ-calculus hierarchy over restricted classes of transition systems

DOI10.2178/jsl/1254748696zbMath1191.03012OpenAlexW2007304763MaRDI QIDQ3655261

Alessandro Facchini, Luca Alberucci

Publication date: 7 January 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/36791/1/S0022481200003200.pdf

zbMATH Keywords

modal logicparity gamestransition systemsmodal \(\mu\)-calculusalternation hierarchy

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Games on graphs (graph-theoretic aspects) (05C57)

Related Items (14)

A focus system for the alternation-free \(\mu \)-calculus ⋮ $\aleph_1$ and the modal $\mu$-calculus ⋮ ON MODAL μ-CALCULUS OVER FINITE GRAPHS WITH SMALL COMPONENTS OR SMALL TREE WIDTH ⋮ The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs ⋮ On the \(\mu \)-calculus over transitive and finite transitive frames ⋮ Deciding the existence of uniform interpolants over transitive models ⋮ The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity ⋮ Modal characterisation theorems over special classes of frames ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus ⋮ On modal \(\mu \)-calculus and Gödel-Löb logic

Cites Work

• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• On modal \(\mu \)-calculus and Gödel-Löb logic
• A finite model theorem for the propositional \(\mu\)-calculus
• An automata theoretic decision procedure for the propositional mu- calculus
• The modal mu-calculus alternation hierarchy is strict
• Monadic second-order logic on tree-like structures
• Modal frame correspondences and fixed-points
• Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
• A lattice-theoretical fixpoint theorem and its applications

This page was built for publication: The modalμ-calculus hierarchy over restricted classes of transition systems