A short note on essentially \(\Sigma_1\) sentences
From MaRDI portal
Publication:1945709
DOI10.1007/s11787-012-0070-9zbMath1270.03039MaRDI QIDQ1945709
Duccio Pianigiani, Franco Montagna
Publication date: 8 April 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-012-0070-9
interpretability logic; provability logic; essentially \(\Sigma_1\) formula; first-order fragments of arithmetic
03B45: Modal logic (including the logic of norms)
03F30: First-order arithmetic and fragments
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
Cites Work
- The logic of \(\Pi_ 1\)-conservativity
- Provability interpretations of modal logic
- The logic of \(\Pi_ 1\)-conservativity continued
- A course on bimodal provability logic
- Self provers and 1 sentences
- Sentences implying their own provability
- Modal Matters for Interpretability Logics
- Rosser sentences
- Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
- The interpretability logic of Peano arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item