Pages that link to "Item:Q3590965"
From MaRDI portal
The following pages link to Bounded-Variable Fragments of Hybrid Logics (Q3590965):
Displayed 12 items.
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Model checking for hybrid branching-time logics (Q2291813) (← links)
- Expressiveness of Hybrid Temporal Logic on Data Words (Q2825412) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)
- Expressiveness and succinctness of a logic of robustness (Q4586143) (← links)
- (Q6191010) (← links)