Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
DOI10.3233/FI-2010-268zbMATH Open1225.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)
Cited In (6)
- Dynamic modalities
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
- Logics for stable and unstable mereological relations
- Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I 👍 👎
- 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 👍 👎
- Mereotopology: A theory of parts and boundaries 👍 👎
- Points in point-free mereotopology 👍 👎
- Dynamic relational mereotopology: Logics for stable and unstable relations 👍 👎
This page was built for publication: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3065016)
