Topological completeness of the provability logic GLP

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

Authors: David Gabelaia, Lev D. Beklemishev 

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; zbMATH DE number 5862929
• 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 (21)

• Positive provability logic for uniform reflection principles
• Ordinal completeness of bimodal provability logic GLB
• MÜNCHHAUSEN PROVABILITY
• Kripke semantics for provability logic GLP
• A topological completeness theorem for transfinite provability logic
• On the reduction property for GLP-algebras
• Title not available (Why is that?)
• Models of transfinite provability logic
• On provability logics with linearly ordered modalities
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• Geometric modal logic
• A topological study of the closed fragment of GLP
• Deducibility and independence in Beklemishev's autonomous provability calculus
• Topological interpretations of provability logic
• Global neighbourhood completeness of the Gödel-Löb provability logic
• The intuitionistic temporal logic of dynamical systems
• The omega-rule interpretation of transfinite provability logic
• Strong completeness of provability logic for ordinal spaces
• 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)