On predicate provability logics and binumerations of fragments of Peano arithmetic
DOI10.1007/S00153-013-0349-4zbMATH Open1388.03058OpenAlexW1981681786MaRDI QIDQ377475FDOQ377475
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
Recommendations
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)
Cites Work
- Arithmetization of metamathematics in a general setting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Provability interpretations of modal logic
- No escape from Vardanyan's theorem
- The predicate modal logic of provability
- Title not available (Why is that?)
- Arithmetical interpretations and Kripke frames of predicate modal logic of provability
Cited In (11)
- AN ESCAPE FROM VARDANYAN’S THEOREM
- Title not available (Why is that?)
- Closed Fragments of Provability Logics of Constructive Theories
- Predicative Fragments of Frege Arithmetic
- On inclusions between quantified provability logics
- Independent numerations of theories and of recursive progressions
- Title not available (Why is that?)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
- Title not available (Why is that?)
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
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)
