Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces

DOI10.1155/2016/9163014zbMath1472.03018OpenAlexW2567450543WikidataQ59124633 ScholiaQ59124633MaRDI QIDQ1751496

Bing Xu, Maria Nogin

Publication date: 25 May 2018

Published in: International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2016/9163014

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical methods in general topology (54B30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of S4 with respect to the real line: revisited
• A proof of topological completeness for S4 in \((0,1)\)
• The algebra of topology
• Reasoning About Space: The Modal Way

This page was built for publication: Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces