Pages that link to "Item:Q794634"

The following pages link to Modal logics of domains on the real plane (Q794634):

Displaying 11 items.

• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II (Q321258) (← links)
• Logic for physical space. From antiquity to present day (Q382998) (← links)
• Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• On modal logics of model-theoretic relations (Q831223) (← links)
• The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
• Ontologies for plane, polygonal mereotopology (Q1381436) (← links)
• Mathematical modal logic: A view of its evolution (Q1422628) (← links)
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III (Q2364324) (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
• Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)