On predicate provability logics and binumerations of fragments of Peano arithmetic

DOI10.1007/S00153-013-0349-4MaRDI QIDQ377475zbMATH OpenOpenAlexFDO

Authors 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

fragments of Peano arithmeticprovability logicbinumerationspredicate modal logic

Mathematics Subject Classification ID

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

Recommendations

• Provability logics relative to a fixed extension of Peano arithmetic
• scientific article; zbMATH DE number 4079379
• scientific article; zbMATH DE number 4087630
• Predicate provability logic with non-modalized quantifiers
• scientific article; zbMATH DE number 4006264

Cites work

• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• Arithmetization of metamathematics in a general setting
• No escape from Vardanyan's theorem
• Provability interpretations of modal logic
• The predicate modal logic of provability

Cited in

(11)

• scientific article; zbMATH DE number 857449 (Why is no real title available?)
• scientific article; zbMATH DE number 4010488 (Why is no real title available?)
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• On inclusions between quantified provability logics
• Closed Fragments of Provability Logics of Constructive Theories
• Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
• Predicative Fragments of Frege Arithmetic
• On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
• AN ESCAPE FROM VARDANYAN’S THEOREM
• Independent numerations of theories and of recursive progressions
• scientific article; zbMATH DE number 7162237 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q377475)