Demystifying $μ$
We explore the theory of illfounded and cyclic proofs for the propositional modal $μ$-calculus. A fine analysis of provability for classical and intuitionistic modal logic provides a novel bridge between finitary, cyclic and illfounded conceptions of proof and re-enforces the importance of two normal form theorems for the logic: guardedness and disjunctiveness.
Authors
- Guillermo Menéndez Turata
- Bahareh Afshari (ORCID: https://orcid.org/0000-0003-1511-1208)
- Graham E. Leigh (ORCID: https://orcid.org/0000-0002-0335-7983)
Institutions
- University of Gothenburg (SE)
Publication Details
- Journal
- Fundamenta Informaticae
- Published
- 2025-08-28
- DOI
- https://doi.org/10.46298/fi.12773
- Citations
- 1
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 2.48
Funders
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek
- Knut och Alice Wallenbergs Stiftelse