Demystifying $\hat{I}¼$

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

We explore the theory of illfounded and cyclic proofs for the propositional modal $\hat{I}¼$-calculus. A fine analysis of provability for classical and intuitionistic modal logic provide…