2 citations · 3 across the 4 of their papers we have counts for
4 papers
Interpolation for Converse PDL
Johannes Kloibhofer, Valentina Trucco Dalmas, Yde Venema
Converse PDL is the extension of propositional dynamic logic with a converse operation on programs. Our main result states that Converse PDL enjoys the (local) Craig Interpolation…
Interpolation for the two-way modal mu-calculus
Johannes Kloibhofer, Yde Venema
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style…
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…
A note on the incompleteness of Afshari & Leigh's system Clo
Johannes Kloibhofer
The system is a cyclic, cut-free proof system for the modal -calculus. It was introduced by Afshari & Leigh as an intermediate system in their intent to show the…