Proves completeness of ILP0 and ILR w.r.t. generalized Veltman semantics via smart labels, plus decidability and shorter proofs for other interpretability logics.
Berarducci, The Interpretability Logic of Peano Arithmetic, Journal of Symbolic Logic , 55 (1990), 1059–1089
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.