Characterizing subset spaces as bi-topological structures

DOI10.1007/978-3-642-45221-5_26MaRDI QIDQ2870141zbMATH OpenOpenAlexFDO

Authors 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

knowledgemodal logictopological semanticstopological reasoningsubset spaces

Mathematics Subject Classification ID

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

Recommendations

• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• Topological facets of the logic of subset spaces (with emphasis on canonical models)
• Completeness of certain bimodal logics for subset spaces
• A modal logic for discretely descending chains of sets
• scientific article; zbMATH DE number 2196591

Cited in

(4)

• Topological facets of the logic of subset spaces (with emphasis on canonical models)
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time
• scientific article; zbMATH DE number 2196591 (Why is no real title available?)
• Completeness of certain bimodal logics for subset spaces

This page was built for publication: Characterizing subset spaces as bi-topological structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870141)