Pages that link to "Item:Q4238500"
From MaRDI portal
The following pages link to Flat fragments of CTL and CTL: separating the expressive and distinguishing powers (Q4238500):
Displaying 5 items.
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- The complexity of propositional linear temporal logics in simple cases (Q1854521) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)