Topological completeness of the provability logic GLP
From MaRDI portal
Publication:490656
DOI10.1016/j.apal.2013.06.008zbMath1320.03088arXiv1106.5693OpenAlexW2597910552MaRDI QIDQ490656
David Gabelaia, Lev D. Beklemishev
Publication date: 27 August 2015
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.5693
Modal logic (including the logic of norms) (03B45) Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Scattered spaces (54G12) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (14)
On the reduction property for GLP-algebras ⋮ Positive provability logic for uniform reflection principles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ A topological completeness theorem for transfinite provability logic ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ The omega-rule interpretation of transfinite provability logic ⋮ Geometric modal logic ⋮ On provability logics with linearly ordered modalities ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ The intuitionistic temporal logic of dynamical systems ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY
This page was built for publication: Topological completeness of the provability logic GLP
