PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC
From MaRDI portal
Publication:4692089
DOI10.1017/jsl.2018.27zbMath1412.03023OpenAlexW2897528026MaRDI QIDQ4692089
Publication date: 26 October 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2018.27
Peano arithmeticprovability logicprovability predicateprovability interpretation of modalityarithmetical completeness of modal logicclassification of provability logics
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)
Related Items
Cites Work
- Faith \& falsity
- Four valued semantics and the Liar
- Provability interpretations of modal logic
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
- Arithmetization of metamathematics in a general setting
- Consistency statements in formal theories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item