The interpretability logic of Peano arithmetic

Modal logic (including the logic of norms) (03B45) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

Interpretability suprema in Peano arithmetic
scientific article; zbMATH DE number 1215477
The formalization of interpretability
The provability logic for \(\Sigma_ 1\)-interpolability
Provability in finite subtheories of PA and relative interpretability: a modal investigation

Cites work

Provability interpretations of modal logic
Self-reference and modal logic

Cited in

(48)

Interpretability in PRA
The formalization of interpretability
Unary interpretability logic
The logic of linear tolerance
Lewis meets Brouwer: constructive strict implication
Interpretations of Presburger arithmetic in itself
A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
A short note on essentially \(\Sigma_1\) sentences
Interpretability suprema in Peano arithmetic
Set theory with and without urelements and categories of interpretations
The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
Hard provability logics
Filtrations of generalized Veltman models
Franco Montagna's work on provability logic and many-valued logic
scientific article; zbMATH DE number 440479 (Why is no real title available?)
scientific article; zbMATH DE number 3957097 (Why is no real title available?)
scientific article; zbMATH DE number 1303441 (Why is no real title available?)
Undecidability in diagonalizable algebras
Provability and interpretability logics with restricted realizations
Peano arithmetic may not be interpretable in the monadic theory of linear orders
The complexity of the modal predicate logic of “true in every transitive model of ZF”
scientific article; zbMATH DE number 2014521 (Why is no real title available?)
The de Jongh property for basic arithmetic
Interpretability over peano arithmetic
Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
Interpretability logics and generalised Veltman semantics
The interpretation existence lemma
On strong provability predicates and the associated modal logics
Modal completeness of sublogics of the interpretability logic IL
Theory and application of labelling techniques for interpretability logics
Bisimulations and bisimulation games between Verbrugge models
Notes on my scientific life
Lewisian fixed points. I: Two incomparable constructions
The \(\Sigma_1\)-provability logic of HA revisited
An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
Adventures in Gödel Incompleteness
A generalized notion of weak interpretability and the corresponding modal logic
Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics
On tame semantics for interpretability logic
Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength
The provability logic for \(\Sigma_ 1\)-interpolability
Modular sequent calculi for interpretability logics
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
The modal logic of arithmetic potentialism and the universal algorithm
On modal logics of model-theoretic relations
Transductions in arithmetic

This page was built for publication: The interpretability logic of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5202653)