On modal -calculus over finite graphs with small components or small tree width
From MaRDI portal
Publication:2909221
DOI10.1142/S012905411240031XzbMATH Open1245.03025OpenAlexW2083449758MaRDI QIDQ2909221FDOQ2909221
Authors: Giovanna D'Agostino, Giacomo Lenzi 
Publication date: 30 August 2012
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s012905411240031x
Recommendations
- On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components
- On the modal \(\mu \)-calculus over finite symmetric graphs
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
- On modal -calculus over reflexive symmetric graphs
- Fast mu-calculus model checking when tree-width is bounded.
Cites Work
- Borel determinacy
- Directed tree-width
- Graph minors. V. Excluding a planar graph
- Results on the propositional \(\mu\)-calculus
- S-functions for graphs
- Graph minors. III. Planar tree-width
- A Deterministic Subexponential Algorithm for Solving Parity Games
- Modal frame correspondences and fixed-points
- Fixed point characterization of infinite behavior of finite-state systems
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
- Rudiments of \(\mu\)-calculus
- Modal characterisation theorems over special classes of frames
- On modal \(\mu \)-calculus and Gödel-Löb logic
Cited In (6)
- On the modal \(\mu \)-calculus over finite symmetric graphs
- On modal -calculus over reflexive symmetric graphs
- On modal \(\mu\)-calculus over finite graphs with bounded strongly connected components
- Decomposition theorems and model-checking for the modal \(\mu\)-calculus
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- Fast mu-calculus model checking when tree-width is bounded.
This page was built for publication: On modal \(\mu \)-calculus over finite graphs with small components or small tree width
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909221)
