2 citations · 3 across the 3 of their papers we have counts for
4 papers
An overview of Generalised Veltman Semantics
Joost J. Joosten, Jan Mas Rovira, Luka Mikec +1
Interpretability logics are endowed with relational semantics à la Kripke: Veltman semantics. For certain applications though, this semantics is not fine-grained enough. Back in 19…
Assuring and critical labels for relations between maximal consistent sets for interpretability logics
Evan Goris, Marta Bílková, Joost J. Joosten +1
The notion of a critical successor [dJV90] has been central to almost all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative noti…
Interpretability logics and generalized Veltman semantics
Luka Mikec, Mladen Vuković
We obtain modal completeness of the interpretability logics ILP_0 and ILR w.r.t. generalized Veltman semantics. Our proofs are based on the notion of smart (full) labels. We also g…
Complexity of the interpretability logic IL
Luka Mikec, Fedor Pakhomov, Mladen Vuković
We show that the decision problem for the basic system of interpretability logic IL is PSPACE-complete. For this purpose we present an algorithm which uses polynomial space with re…