Characterizing subset spaces as bi-topological structures

DOI10.1007/978-3-642-45221-5_26zbMATH Open1408.03014OpenAlexW219125931MaRDI QIDQ2870141FDOQ2870141

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

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

zbMATH Keywords

knowledgemodal logictopological semanticstopological reasoningsubset spaces

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)