Models of transfinite provability logic

DOI10.2178/JSL.7802110zbMath1275.03158arXiv1204.4837OpenAlexW2058604356WikidataQ58883296 ScholiaQ58883296MaRDI QIDQ5300077

Joost J. Joosten, David Fernández-Duque

Publication date: 24 June 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

polymodal logicKripke completenessprovability logic GL\(\omega\)-ruleclosed fragment of modal logicordinal analysis of Peano arithmetic

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 ⋮ Hyperarithmetical worm battles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Reflection calculus and conservativity spectra ⋮ On provability logics with linearly ordered modalities ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Conservativity spectra and Joosten-Fernández model ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY

Cites Work

• On provability logics with linearly ordered modalities
• Provability algebras and proof-theoretic ordinals. I
• A Topological Study of the Closed Fragment of GLP
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

This page was built for publication: Models of transfinite provability logic