scientific article; zbMATH DE number 6302923

zbMath1291.03044MaRDI QIDQ5419899

Dimiter Vakarelov

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

representation theoremdynamic mereotopologypoint-free theory of space and timequantifier-free spatio-temporal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (4)

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 ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

This page was built for publication: