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