The logic of \(\Pi_ 1\)-conservativity

DOI10.1007/BF01634981zbMath0713.03007OpenAlexW1993283072MaRDI QIDQ749519

Petr Hájek, Franco Montagna

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01634981

zbMATH Keywords

fragment of Peano arithmeticarithmetical completeness theoremarithmetical pc- interpretationsInterpretability Logic with Montagna's principlemodal propositional provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Franco Montagna's work on provability logic and many-valued logic, A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic, An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP, Modal completeness of sublogics of the interpretability logic IL, Lewis meets Brouwer: constructive strict implication, Transductions in arithmetic, Obituary: Franco Montagna (1948--2015), A short note on essentially \(\Sigma_1\) sentences, Provability and interpretability logics with restricted realizations, Reflection calculus and conservativity spectra, Interpretability in PRA, On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories, The logic of \(\Pi_ 1\)-conservativity continued

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fragments of arithmetic
• Self-reference and modal logic
• Provability interpretations of modal logic
• Partially Conservative Extensions of Arithmetic
• Modal analysis of generalized rosser sentences
• On recursion theory in IΣ₁
• Rosser sentences