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

Experiments in Theorem Proving for Topological Hybrid Logic, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, Logic for physical space. From antiquity to present day, Topological properties of generalized approximation spaces, Modal logics of Stone spaces, Some topological properties of paraconsistent models, 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, Topological Perspective on the Hybrid Proof Rules, Logics for multi-subset spaces, On Topologically Relevant Fragments of the Logic of Linear Flows of Time, Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference, Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE, A ModalWalk Through Space