Positive provability logic for uniform reflection principles
From MaRDI portal
Publication:392274
DOI10.1016/j.apal.2013.07.006zbMath1322.03041arXiv1304.4396MaRDI QIDQ392274
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
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, REFLECTION RANKS AND ORDINAL ANALYSIS, 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, Reflection calculus and conservativity spectra, AN ESCAPE FROM VARDANYAN’S THEOREM, On provability logics with linearly ordered modalities, Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Modal companions of \(K4^+\), Reflection algebras and conservation results for theories of iterated truth, The logic of Turing progressions, Deducibility and independence in Beklemishev's autonomous provability calculus
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item