Positive provability logic for uniform reflection principles

DOI10.1016/j.apal.2013.07.006zbMath1322.03041arXiv1304.4396OpenAlexW3136553163MaRDI 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

decidabilityprovability logicreflection principlepositive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Reflection algebras and conservation results for theories of iterated truth, Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, The logic of Turing progressions, Deducibility and independence in Beklemishev's autonomous provability calculus, AN ESCAPE FROM VARDANYAN’S THEOREM, Reflection calculus and conservativity spectra, On provability logics with linearly ordered modalities, The intuitionistic temporal logic of dynamical systems, A Note on Strictly Positive Logics and Word Rewriting Systems, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Modal companions of \(K4^+\), REFLECTION RANKS AND ORDINAL ANALYSIS

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