The following pages link to Arity hierarchy for temporal logics (Q944387):
Displaying 9 items.
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- An arithmetical hierarchy in propositional dynamic logic (Q1119628) (← links)
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- Future temporal logic needs infinitely many modalities (Q1877549) (← links)
- Hierarchies of modal and temporal logics with reference pointers (Q1919987) (← links)
- Extending Kamp's Theorem to Model Time Granularity (Q3146305) (← links)
- Monadic Logic of Order over Naturals has no Finite Base (Q4542237) (← links)
- A temporal logic for sortals (Q5959761) (← links)
