Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
DOI10.3233/FI-2010-268zbMATH Open1225.03027MaRDI QIDQ3065016FDOQ3065016
Authors: Dimiter Vakarelov 
Publication date: 3 January 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Recommendations
- 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. II
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
- scientific article; zbMATH DE number 2113962
- Dynamic relational mereotopology: logics for stable and unstable relations
- Points in point-free mereotopology
- scientific article; zbMATH DE number 4192505
- Mereotopology: A theory of parts and boundaries
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 (9)
- Dynamic relational mereotopology: logics for stable and unstable relations
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- Dynamic modalities
- A modal approach to dynamic ontology: modal mereotopology
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
- Logics for stable and unstable mereological relations
- Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics
- 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
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)
