1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…