Topological completeness of the provability logic GLP

DOI10.1016/J.APAL.2013.06.008zbMATH Open1320.03088arXiv1106.5693OpenAlexW2597910552MaRDI QIDQ490656FDOQ490656

Lev D. Beklemishev, David Gabelaia

Publication date: 27 August 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces satisfying all the axioms of GLP are called GLP-spaces. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

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

Recommendations

• scientific article
• The polytopologies of transfinite provability logic
• Kripke semantics for provability logic GLP
• Topological interpretations of provability logic
• A topological study of the closed fragment of GLP

zbMATH Keywords

scattered spacesprovability logicGLP

Mathematics Subject Classification ID

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)

Cited In (16)

• Positive provability logic for uniform reflection principles
• MÜNCHHAUSEN PROVABILITY
• A topological completeness theorem for transfinite provability logic
• Topological Interpretations of Provability Logic
• On the reduction property for GLP-algebras
• Title not available (Why is that?)
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• On provability logics with linearly ordered modalities
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• Geometric modal logic
• Deducibility and independence in Beklemishev's autonomous provability calculus
• The intuitionistic temporal logic of dynamical systems
• The omega-rule interpretation of transfinite provability logic
• COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
• The polytopologies of transfinite provability logic
• Derived topologies on ordinals and stationary reflection

This page was built for publication: Topological completeness of the provability logic GLP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490656)