Characterizing Subset Spaces as Bi-topological Structures

DOI10.1007/978-3-642-45221-5_26zbMath1408.03014OpenAlexW219125931MaRDI QIDQ2870141

Bernhard Heinemann

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45221-5_26

zbMATH Keywords

modal logicknowledgetopological semanticstopological reasoningsubset spaces

Mathematics Subject Classification ID

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

Related Items (1)

On Topologically Relevant Fragments of the Logic of Linear Flows of Time

This page was built for publication: Characterizing Subset Spaces as Bi-topological Structures