Positive provability logic for uniform reflection principles

DOI10.1016/j.apal.2013.07.006zbMath1322.03041arXiv1304.4396MaRDI QIDQ392274

Lev D. Beklemishev

Publication date: 13 January 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.4396

zbMATH Keywords

decidability; provability logic; reflection principle; positive modal logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F30: First-order arithmetic and fragments

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

Related Items

The intuitionistic temporal logic of dynamical systems, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Reflection calculus and conservativity spectra, On provability logics with linearly ordered modalities, Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• A guide to completeness and complexity for modal logics of knowledge and belief
• Provability algebras and proof-theoretic ordinals. I
• On the positive fragment of the polymodal provability logic GLP
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• Arithmetization of metamathematics in a general setting
• Reflection principles and provability algebras in formal arithmetic
• On strong provability predicates and the associated modal logics
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems