Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
From MaRDI portal
Publication:3065016
DOI10.3233/FI-2010-268zbMath1225.03027MaRDI QIDQ3065016
Publication date: 3 January 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
decidabilitytopological representation theoremdynamic contact algebradynamic mereotopologypoint-free theory of space and timespatio-temporal logic
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25)
Related Items
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III ⋮ Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II ⋮ Dynamic modalities ⋮ Logics for stable and unstable mereological relations ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality