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