Logics of spatial isolation

DOI10.1093/LOGCOM/EXAF046MaRDI QIDQ6909819zbMATH OpenFDO

Authors Can Başkent, David R. Gilbert, Giorgio Venturi

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF046

zbMATH Keywords

\(T_0\) spaces\(T_1\) spacesAlexandrov spacesisolated pointsneighbourhood systemstopological semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A logic for factive ignorance
• A logic of isolation
• A note on logics of ignorance and borders
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Being wrong: logics for false belief
• Der Aussagenkalkül und die Topologie
• Handbook of Spatial Logics
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• Intuitionistic logic and modality via topology
• Logics of Ignorance and Being Wrong
• Neighborhood semantics for modal logic
• Some results on modal axiomatization and definability for topological spaces
• The algebra of topology

This page was built for publication: Logics of spatial isolation

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