Proves completeness of ILP0 and ILR w.r.t. generalized Veltman semantics via smart labels, plus decidability and shorter proofs for other interpretability logics.
Visser, Interpretability logic, In Mathematical Logic, Proceedings of the 1988 Heyting Conference, P
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Interpretability logics and generalized Veltman semantics
Proves completeness of ILP0 and ILR w.r.t. generalized Veltman semantics via smart labels, plus decidability and shorter proofs for other interpretability logics.