activity
20172020
most citedAssuring and critical labels for relations between maximal consistent sets for interpretability logics

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

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…