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 (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: On predicate provability logics and binumerations of fragments of Peano arithmetic