Pages that link to "Item:Q1400578"
From MaRDI portal
The following pages link to The complexity of the temporal logic with ``until'' over general linear time (Q1400578):
Displaying 11 items.
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Synthesis for continuous time (Q2355696) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Complexity of monodic guarded fragments over linear and real time (Q2576942) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
