2 papers
cs.LO2023
Focus-style proofs for the two-way alternation-free -calculus
Jan Rooduijn, Yde Venema
We introduce a cyclic proof system for the two-way alternation-free modal -calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modal…
cs.LO2021
Filtration and canonical completeness for continuous modal mu-calculi
Jan Rooduijn, Yde Venema
The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Sc…