PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC

DOI10.1017/jsl.2018.27zbMath1412.03023OpenAlexW2897528026MaRDI QIDQ4692089

Taishi Kurahashi

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

zbMATH Keywords

Peano arithmeticprovability logicprovability predicateprovability interpretation of modalityarithmetical completeness of modal logicclassification of provability logics

Mathematics Subject Classification ID

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

Some observations on the FGH theorem

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