Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

DOI10.3233/FI-2010-268MaRDI QIDQ3065016zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 3 January 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2010-268

zbMATH Keywords

decidabilitytopological representation theoremdynamic contact algebradynamic mereotopologypoint-free theory of space and timespatio-temporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25)

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

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)