Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II

DOI10.1007/s10469-016-9372-yzbMath1396.03072OpenAlexW4243357938MaRDI QIDQ321258

Dimiter Vakarelov

Publication date: 13 October 2016

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-016-9372-y

zbMATH Keywords

point-based dynamic model of spacesnapshot constructionstandard dynamic contact algebra

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (2)

Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

Cites Work

• Modal logics of domains on the real plane
• Diodorean modality in Minkowski spacetime
• 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: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Modal Logics of Regions and Minkowski Spacetime
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II