The modal -calculus caught off guard
From MaRDI portal
Publication:3010366
Recommendations
Cites work
- scientific article; zbMATH DE number 3887063 (Why is no real title available?)
- scientific article; zbMATH DE number 3898850 (Why is no real title available?)
- scientific article; zbMATH DE number 3972842 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 2080055 (Why is no real title available?)
- A tableau system for the modal \(\mu \)-calculus
- An automata theoretic decision procedure for the propositional mu- calculus
- An automata-theoretic approach to branching-time model checking
- CTL^* and ECTL^* as fragments of the modal -calculus
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Infinite games played on finite graphs
- Modal logics and mu-calculi: An introduction
- Propositional dynamic logic of regular programs
- Results on the propositional \(\mu\)-calculus
- Solving Parity Games in Big Steps
- The Complexity of Tree Automata and Logics of Programs
Cited in
(13)- scientific article; zbMATH DE number 5898613 (Why is no real title available?)
- On closure ordinals for the modal \(\mu\)-calculus
- A tableau system for the modal \(\mu \)-calculus
- The mu-calculus and Model Checking
- Deciding the unguarded modal \(\mu\)-calculus
- A proof system with names for modal \(\mu\)-calculus
- A type-directed negation elimination
- EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
- Cooking Your Own Parity Game Preorders Through Matching Plays
- EXPTIME Tableaux for the Coalgebraic μ-Calculus
- scientific article; zbMATH DE number 2213628 (Why is no real title available?)
- Automated Reasoning with Analytic Tableaux and Related Methods
- On guarded transformation in the modal \(\mu\)-calculus
This page was built for publication: The modal \(\mu \)-calculus caught off guard
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3010366)