On provability logics with linearly ordered modalities

DOI10.1007/s11225-013-9490-7zbMath1322.03042DBLPjournals/sLogica/BeklemishevDJ14arXiv1210.4809OpenAlexW2034453867WikidataQ58883282 ScholiaQ58883282MaRDI QIDQ456968

David Fernández-Duque, Joost J. Joosten, Lev D. Beklemishev

Publication date: 26 September 2014

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

provability logicpolymodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (13)

Reflection algebras and conservation results for theories of iterated truth ⋮ Models of transfinite provability logic ⋮ Hyperarithmetical worm battles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Linear $ \mathrm{GLP}$-algebras and their elementary theories ⋮ Reflection calculus and conservativity spectra ⋮ The polytopologies of transfinite provability logic ⋮ On the complexity of the closed fragment of Japaridze's provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ Turing-Taylor expansions for arithmetic theories ⋮ MÜNCHHAUSEN PROVABILITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Positive provability logic for uniform reflection principles
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• The omega-rule interpretation of transfinite provability logic
• Provability algebras and proof-theoretic ordinals. I
• On the positive fragment of the polymodal provability logic GLP
• The polytopologies of transfinite provability logic
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• Interpolation properties for provability logics GL and GLP
• Turing Progressions and Their Well-Orders
• A Topological Study of the Closed Fragment of GLP
• Well-orders in the transfinite Japaridze algebra
• On strong provability predicates and the associated modal logics
• Models of transfinite provability logic
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
• Incompleteness along paths in progressions of theories

This page was built for publication: On provability logics with linearly ordered modalities