Bahareh Afshari ; Graham E. Leigh ; Guillermo Menèndez Turata - Demystifying $μ$

fi:12773 - Fundamenta Informaticae, August 28, 2025, Volume 194, Issue 2: Fixed Points in Computer Science 2023 - https://doi.org/10.46298/fi.12773
Demystifying $μ$Article

Authors: Bahareh Afshari ; Graham E. Leigh ; Guillermo Menéndez Turata

    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.

    https://doi.org/10.46298/fi.12773
    Source: arXiv.org:2401.01096
    Volume: Volume 194, Issue 2: Fixed Points in Computer Science 2023
    Published on: August 28, 2025
    Accepted on: June 18, 2025
    Submitted on: January 3, 2024
    Keywords: Logic,Logic in Computer Science
    Licence: Attribution 4.0 International (CC BY 4.0)

    Share and export