Focus-style proofs for the two-way alternation-free \(\mu \)-calculus

DOI10.1007/978-3-031-39784-4_20arXiv2307.01773OpenAlexW4386226283MaRDI QIDQ6118696

Jan Rooduijn, Yde Venema

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2307.01773

zbMATH Keywords

alternation-freecyclic proof theorytwo-way modal \(\mu \)-calculus

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games for the \(\mu\)-calculus
• Results on the propositional \(\mu\)-calculus
• Cut-free sequent calculi for some tense logics
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Uniform interpolation from cyclic proofs: the case of modal mu-calculus
• Cyclic hypersequent calculi for some modal logics with the master modality
• A focus system for the alternation-free \(\mu \)-calculus
• An infinitary treatment of full \(\mu\)-calculus
• A Tableau System for the Modal μ-Calculus
• ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
• Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5

This page was built for publication: Focus-style proofs for the two-way alternation-free \(\mu \)-calculus