The following pages link to (Q5311049):
Displayed 15 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)
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- Fooling around with tenses (Q643107) (← links)
- Modal and temporal logics for abstract space-time structures (Q643108) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III (Q2364324) (← links)
- On interval modal logic with ``after'' relation (Q2364466) (← links)
- Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)