Reasoning About Space: The Modal Way
From MaRDI portal
Publication:4812319
DOI10.1093/logcom/13.6.889zbMath1054.03015OpenAlexW2115136657MaRDI 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
Related Items
Linear and affine logics with temporal, spatial and epistemic operators, Logics for multi-subset spaces, A generalization of inquisitive semantics, Logics from Galois connections, Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference, Multimodal logics of products of topologies, COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω, Tree-like constructions in topology and modal logic, A unifying study between modal-like operators, topologies and fuzzy sets, Logic for physical space. From antiquity to present day, On Topologically Relevant Fragments of the Logic of Linear Flows of Time, POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION, Modal logic of generalized separated topological spaces, Topology and measure in logics for region-based theories of space, Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces, Topological properties of generalized approximation spaces, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, Modal logics of Stone spaces, Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes, Some topological properties of paraconsistent models, Topological Subset Space Models for Public Announcements, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE, Spatial logic of tangled closure operators and modal mu-calculus, Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces, A new proof of the McKinsey-Tarski theorem, Connected modal logics, LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA, INSTANTIAL NEIGHBOURHOOD LOGIC, The epistemology of nondeterminism, Dynamic topological logic, Completeness of S4 with respect to the real line: revisited, A proof of topological completeness for S4 in \((0,1)\), Dynamic measure logic, The modal logic of \({\beta(\mathbb{N})}\), Experiments in Theorem Proving for Topological Hybrid Logic, A ModalWalk Through Space, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, Hybrid logics of separation axioms, Topological Perspective on the Hybrid Proof Rules, Strong Completeness of S4 for the Real Line, Some results on modal axiomatization and definability for topological spaces
