The following pages link to (Q4215593):
Displaying 13 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
- The complexity of hybrid logics over equivalence relations (Q1047797) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Modal logic, truth, and the master modality. (Q1857362) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
- Interval vs. Point Temporal Logic Model Checking (Q4617981) (← links)
