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

DOI10.1007/S10469-016-9372-YzbMATH Open1396.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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Modal logics of domains on the real plane

Cited In (3)

• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q321258)