Demystifying $\mu$

Bahareh Afshari, Graham E. Leigh, Guillermo Menèndez Turata

We explore the theory of illfounded and cyclic proofs for the propositional modal $\mu$-calculus. A fine analysis of provability for classical and intuitionistic modal logic provides…