The modal -calculus caught off guard

DOI10.1007/978-3-642-22119-4_13MaRDI QIDQ3010366zbMATH OpenOpenAlexFDO

Authors Oliver Friedmann, Martin Lange

Publication date 1 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22119-4_13

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Deciding the unguarded modal \(\mu\)-calculus
• Automated Reasoning with Analytic Tableaux and Related Methods
• A tableau system for the modal \(\mu \)-calculus
• EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
• EXPTIME Tableaux for the Coalgebraic μ-Calculus

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)