Pages that link to "Item:Q1877549"
From MaRDI portal
The following pages link to Future temporal logic needs infinitely many modalities (Q1877549):
Displaying 6 items.
- No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic (Q259068) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- On Almost Future Temporal Logics (Q2947179) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- REASONING ABOUT TRANSFINITE SEQUENCES (Q3426789) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
