Reasoning About Space: The Modal Way

DOI10.1093/logcom/13.6.889zbMath1054.03015MaRDI QIDQ4812319

Guram Bezhanishvili, Marco Aiello, J. F. A. K. van Benthem

Publication date: 7 September 2004

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

Full work available at URL: https://pure.rug.nl/ws/files/14407256/2003JLogComputAiello.pdf

zbMATH Keywords

completeness; topological semantics; modal logics of space; spatial bisimulation

Mathematics Subject Classification ID

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

Related Items

Topological properties of generalized approximation spaces, Modal logics of Stone spaces, Connected modal logics, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Dynamic topological logic, Completeness of S4 with respect to the real line: revisited, Dynamic measure logic, Some results on modal axiomatization and definability for topological spaces, Multimodal logics of products of topologies, A unifying study between modal-like operators, topologies and fuzzy sets, The modal logic of \({\beta(\mathbb{N})}\), Hybrid logics of separation axioms, A proof of topological completeness for S4 in \((0,1)\), Linear and affine logics with temporal, spatial and epistemic operators, Logics from Galois connections, Logics for multi-subset spaces, Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE, A ModalWalk Through Space