The modal -calculus caught off guard

DOI10.1007/978-3-642-22119-4_13zbMATH Open1333.03007OpenAlexW143189931MaRDI QIDQ3010366FDOQ3010366

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

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

Mathematics Subject Classification ID

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

Cites Work

• Propositional dynamic logic of regular programs
• Modal logics and mu-calculi: An introduction
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• The Complexity of Tree Automata and Logics of Programs
• Results on the propositional \(\mu\)-calculus
• An automata-theoretic approach to branching-time model checking
• Infinite games played on finite graphs
• Solving Parity Games in Big Steps
• An automata theoretic decision procedure for the propositional mu- calculus
• Title not available (Why is that?)
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A tableau system for the modal \(\mu \)-calculus

Cited In (12)

• Title not available (Why is that?)
• 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
• EXPTIME tableaux for the coalgebraic \(\mu\)-calculus
• Cooking Your Own Parity Game Preorders Through Matching Plays
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Title not available (Why is that?)
• 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)