Dynamic logics of the region-based theory of discrete spaces

DOI10.3166/jancl.17.39-61zbMath1186.03039MaRDI QIDQ3647263

Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.39-61

zbMATH Keywords

dynamic logic; spatial reasoning; spatial logic; region-based theory of spaces

Mathematics Subject Classification ID

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

68T27: Logic in artificial intelligence

Related Items

Boolean logics with relations, A system of relational syllogistic incorporating full Boolean reasoning, Boolean Logics with Relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semi-metrics, closure spaces and digital topology
• Generalized region connection calculus
• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• Region-based topology
• Relationships between nondeterministic and deterministic tape complexities
• Axiomatizability of geometry without points
• Continuous lattices and Whiteheadian theory of space
• A Proximity Approach to Some Region-Based Theories of Space
• Digital Topology
• The Computational Complexity of Provability in Systems of Modal Propositional Logic