1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.LO2019
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…