A proof of topological completeness for S4 in \((0,1)\)

DOI10.1016/j.apal.2004.10.010zbMath1133.03009OpenAlexW2050719571MaRDI QIDQ1772779

Xianqiang Yang

Publication date: 21 April 2005

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

Full work available at URL: https://doi.org/10.1016/j.apal.2004.10.010

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Topological Semantics of Justification Logic ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces ⋮ A new proof of the McKinsey-Tarski theorem ⋮ Dynamic topological logic ⋮ Dynamic measure logic ⋮ Strong Completeness of S4 for the Real Line

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algebra of topology
• Reasoning About Space: The Modal Way
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology