27 citations · 83 across the 25 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
Proof Systems for the Modal -Calculus Obtained by Determinizing Automata
Maurice Dekker, Johannes Kloibhofer, Johannes Marti +1
Automata operating on infinite objects feature prominently in the theory of the modal -calculus. One such application concerns the tableau games introduced by Niwiński & Walukie…
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…