Provability in finite subtheories of PA and relative interpretability: a modal investigation
From MaRDI portal
Publication:3760515
DOI10.2307/2274396zbMath0623.03023OpenAlexW2097788089MaRDI QIDQ3760515
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
fixed point theoremKripke semanticsrelative interpretabilityprovability predicatearithmetical completeness theorembimodal logicslogic of provabilityfinitely axiomatizable subtheory of Peano Arithmetic
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