Pages that link to "Item:Q1854487"
From MaRDI portal
The following pages link to An infinite hierarchy of temporal logics over branching time (Q1854487):
Displaying 10 items.
- Branching-time logics with path relativisation (Q386037) (← links)
- A hierarchy of temporal logics with past (Q672329) (← links)
- Arity hierarchy for temporal logics (Q944387) (← links)
- Branching-time logics repeatedly referring to states (Q1047801) (← links)
- Undivided and indistinguishable histories in branching-time logics (Q1289103) (← links)
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic (Q1854353) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- (Q4424619) (← links)
- EXTENDED TEMPORAL LOGICS ON FINITE TREES (Q4922672) (← links)