2 citations · 3 across the 3 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020★ 1 cited
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…
math.LO2020★ 2 cited
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…