Pages that link to "Item:Q643108"
From MaRDI portal
The following pages link to Modal and temporal logics for abstract space-time structures (Q643108):
Displaying 7 items.
- Worlds and times. NS and the master argument (Q411580) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- (Q4484479) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837) (← links)