On provability logics of Niebergall arithmetic

DOI10.4213/IM9524EMaRDI QIDQ6568709zbMATH OpenFDO

Authors Lev V. Dvorkin

Publication date 8 July 2024

Published in Izvestiya: Mathematics (Search for Journal in Brave)

zbMATH Keywords

Kripke semanticslogic of provability

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 4195937 (Why is no real title available?)
• scientific article; zbMATH DE number 2222023 (Why is no real title available?)
• A smart child of Peano's
• A survey of proof theory
• Arithmetization of metamathematics in a general setting
• Kripke semantics for provability logic GLP
• On Rosser's Provability Predicate
• On strong provability predicates and the associated modal logics
• PSPACE-decidability of Japaridze's polymodal logic
• Peano's smart children: A provability logical study of systems with built-in consistency
• Provability interpretations of modal logic
• Reflection principles and provability algebras in formal arithmetic
• Self-reference and modal logic
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles

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)