Pages that link to "Item:Q5937837"
From MaRDI portal
The following pages link to A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837):
Displaying 6 items.
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Modal and temporal logics for abstract space-time structures (Q643108) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Modal Logics of Regions and Minkowski Spacetime (Q5696309) (← links)