The following pages link to (Q4215593):
Displayed 12 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)
- 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)