The following pages link to (Q5483013):
Displayed 6 items.
- Modal logics of some geometrical structures (Q927480) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Temporal Logic of Minkowski Spacetime (Q5027245) (← links)
- (Q5028481) (← links)
- A note on the complexity of S4.2 (Q5156186) (← links)