On predicate provability logics and binumerations of fragments of Peano arithmetic

DOI10.1007/s00153-013-0349-4zbMath1388.03058OpenAlexW1981681786MaRDI QIDQ377475

Taishi Kurahashi

Publication date: 6 November 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-013-0349-4

zbMATH Keywords

provability logicfragments of Peano arithmeticbinumerationspredicate modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items

AN ESCAPE FROM VARDANYAN’S THEOREM, On inclusions between quantified provability logics

Cites Work

• The predicate modal logic of provability
• Provability interpretations of modal logic
• No escape from Vardanyan's theorem
• Arithmetization of metamathematics in a general setting
• ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
• Unnamed Item
• Unnamed Item
• Unnamed Item