The following pages link to (Q2721205):
Displaying 7 items.
- Metric temporal logic revisited (Q266865) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
