The following pages link to (Q5483013):
Displaying 7 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)
- PSPACE bounds for rank-1 modal logics (Q2946571) (← 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)