Lyndon Interpolation for Modal $$\mu $$-Calculus

DOI10.1007/978-3-030-98479-3_10zbMath1530.03072MaRDI QIDQ6487228

Bahareh Afshari, Graham E. Leigh

Publication date: 11 August 2022

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

From GTC to \textsc{Reset}: generating reset proof systems from cyclic proof systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games for the \(\mu\)-calculus
• An interpolation theorem in the predicate calculus
• Results on the propositional \(\mu\)-calculus
• Interpolation in non-classical logics
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Uniform interpolation and the existence of sequent calculi
• Circular proofs for the Gödel-Löb provability logic
• Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
• The mu-calculus and Model Checking
• Automata for the modal μ-calculus and related results
• A Tableau System for the Modal μ-Calculus
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski

This page was built for publication: Lyndon Interpolation for Modal $$\mu $$-Calculus