A proof of topological completeness for S4 in \((0,1)\)
type: Item
instance of: scholarly article
title: A proof of topological completeness for S4 in \((0,1)\)
zbMATH Open document ID: 1133.03009
author: Xianqiang Yang
published in: Annals of Pure and Applied Logic
publication date: 2005-04-21T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2160248
MaRDI profile type: Publication
full work available at URL: j.apal.2004.10.010
OpenAlex ID: W2050719571
cites work: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
cites work: The algebra of topology
cites work: Q5734410
cites work: Q4250039
cites work: A short introduction to intuitionistic logic
cites work: Reasoning About Space: The Modal Way
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
DOI: 10.1016/J.APAL.2004.10.010
description: scientific article; zbMATH DE number 2160248