Provability in finite subtheories of PA and relative interpretability: a modal investigation

DOI10.2307/2274396zbMath0623.03023OpenAlexW2097788089MaRDI QIDQ3760515

Franco Montagna

Publication date: 1987

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274396

zbMATH Keywords

fixed point theoremKripke semanticsrelative interpretabilityprovability predicatearithmetical completeness theorembimodal logicslogic of provabilityfinitely axiomatizable subtheory of Peano Arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Relative consistency and interpretations (03F25)

Related Items

On bimodal logics of provability ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A course on bimodal provability logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Independent numerations of theories and recursive progressions ⋮ Provability logics for natural Turing progressions of arithmetical theories

Cites Work

• Unnamed Item
• Unnamed Item
• The modal logic of provability. The sequential approach
• Self-reference and modal logic
• Provability interpretations of modal logic
• Modal analysis of generalized rosser sentences
• Rosser sentences
• Calculating self-referential statements: Guaspari sentences of the first kind
• Relative Interpretations