Topological Interpretations of Provability Logic
type: Item
instance of: scholarly article
title: Topological Interpretations of Provability Logic
zbMATH Open document ID: 1352.03070
DOI: 10.1007/978-94-017-8860-1_10
author: David Gabelaia
author: Lev D. Beklemishev
published in: Leo Esakia on Duality in Modal and Intuitionistic Logics
publication date: 2015-06-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1210.7317
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 54H05
Mathematics Subject Classification ID: 54G12
zbMATH DE Number: 6447796
zbMATH Keywords: provability logic
zbMATH Keywords: scattered spaces
zbMATH Keywords: GLP
zbMATH Keywords: ordinal topologies
MaRDI profile type: Publication
OpenAlex ID: W2142513931
arXiv ID: 1210.7317
cites work: Q3973061
cites work: Reflection and indescribability in the constructible universe
cites work: Topological completeness of the provability logic GLP
cites work: Provability algebras and proof-theoretic ordinals. I
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: Q5483298
cites work: Q5494229
cites work: Kripke semantics for provability logic GLP
cites work: Ordinal Completeness of Bimodal Provability Logic GLB
cites work: A simplified proof of arithmetical completeness theorem for provability logic GLP
cites work: Q3081639
cites work: A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
cites work: Some results on modal axiomatization and definability for topological spaces
cites work: Scattered and hereditarily irresolvable spaces in modal logic
cites work: Infinitary combinatorics and modal logic
cites work: Algebraizable logics
cites work: Q4196401
cites work: The analytical completeness of Dzhaparidze's polymodal logics
cites work: Q4397069
cites work: Worms, gaps, and hydras
cites work: Q3128959
cites work: Q5419879
cites work: Models of transfinite provability logic
cites work: Turing Progressions and Their Well-Orders
cites work: The polytopologies of transfinite provability logic
cites work: A survey of abstract algebraic logic
cites work: Handbook of Set Theory
cites work: Some exact equiconsistency results in set theory
cites work: Grundlagen der Mathematik I
cites work: Provability and interpretability logics with restricted realizations
cites work: A Topological Study of the Closed Fragment of GLP
cites work: On strong provability predicates and the associated modal logics
cites work: Q3535899
cites work: Derivational Modal Logics with the Difference Modality
cites work: Solution of a problem of Leon Henkin
cites work: Gödel's diagonalization technique and related properties of theories
cites work: Q4121962
cites work: Reflecting stationary sets
cites work: The algebra of topology
cites work: The consistency strength of ``every stationary set reflects''
cites work: Q4068699
cites work: Q5631608
cites work: Topological aspects of suitable theories
cites work: Self-reference and modal logic
cites work: Provability interpretations of modal logic
cites work: PFA implies ADL(ℝ)
cites work: A Grim semantics for logics of belief
cites work: The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
description: scientific article; zbMATH DE number 6447796