3 citations · 4 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
Bahareh Afshari, Johannes Kloibhofer
We consider modal logic extended with the well-known temporal operator 'eventually' and provide a cut-elimination procedure for a cyclic sequent calculus that captures this fragmen…
math.LO2024★ 1 cited
Demystifying
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…