On provability logics of Niebergall arithmetic
From MaRDI portal
Publication:6568709
DOI10.4213/IM9524EMaRDI QIDQ6568709FDOQ6568709
Authors: Lev V. Dvorkin 
Publication date: 8 July 2024
Published in: Izvestiya: Mathematics (Search for Journal in Brave)
Cites Work
- Arithmetization of metamathematics in a general setting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reflection principles and provability algebras in formal arithmetic
- On strong provability predicates and the associated modal logics
- Provability interpretations of modal logic
- Peano's smart children: A provability logical study of systems with built-in consistency
- A smart child of Peano's
- Self-reference and modal logic
- A survey of proof theory
- Kripke semantics for provability logic GLP
- PSPACE-decidability of Japaridze's polymodal logic
- Title not available (Why is that?)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- On Rosser's Provability Predicate
- Title not available (Why is that?)
This page was built for publication: On provability logics of Niebergall arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6568709)
