A new proof of the McKinsey-Tarski theorem
type: Item
instance of: scholarly article
title: A new proof of the McKinsey-Tarski theorem
zbMATH Open document ID: 1437.03084
author: Guram Bezhanishvili
author: Nick Bezhanishvili
author: Joel Lucero-Bryan
author: Jan van Mill
published in: Studia Logica
publication date: 2018-12-21T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 54E35
zbMATH DE Number: 6996656
zbMATH Keywords: modal logic
zbMATH Keywords: topological semantics
zbMATH Keywords: metrizable space
zbMATH Keywords: Bing's metrization theorem
MaRDI profile type: Publication
full work available at URL: s11225-018-9789-5
OpenAlex ID: W2789510750
cites work: Reasoning About Space: The Modal Way
cites work: \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
cites work: KRULL DIMENSION IN MODAL LOGIC
cites work: MODAL LOGICS OF METRIC SPACES
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Metrization of Topological Spaces
cites work: Q3994935
cites work: A problem of set-theoretic topology
cites work: Boolean Algebras with Operators. Part I
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: The algebra of topology
cites work: Q4250039
cites work: A proof of topological completeness for S4 in \((0,1)\)
cites work: Q5734410
cites work: Multimodal logics of products of topologies
DOI: 10.1007/S11225-018-9789-5
Wikidata QID: Q130095612
Recommended article: A New Proof of McKenna's Theorem
Recommended article: Q3145196
Recommended article: A NEW PROOF OF SCHUTZENBERGER'S THEOREM
Recommended article: Q4013350
Recommended article: A new proof of Sárközy's theorem
Recommended article: Q4311228
Recommended article: A new proof of Poltoratskii's theorem
Recommended article: Q5222077
Recommended article: Q4327709
Recommended article: Q6061585
description: scientific article; zbMATH DE number 6996656