Pages that link to "Item:Q3498491"
From MaRDI portal
The following pages link to The Complexity of Temporal Logic with Until and Since over Ordinals (Q3498491):
Displaying 8 items.
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- The complexity of temporal logic over the reals (Q636345) (← links)
- Nesting until and since in linear temporal logic (Q705066) (← links)
- Formalizing calendars with the category of ordinals (Q1863915) (← links)
- On the Priorean temporal logic with \([d]\) over the real line (Q2826035) (← links)
- (Q4736862) (← links)
- (Q5090950) (← links)
- A temporal logic for sortals (Q5959761) (← links)