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