The following pages link to (Q3457215):
Displaying 9 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Complexity hierarchies beyond elementary (Q2828216) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals (Q3374097) (← links)
- (Q4451651) (← links)
- (Q4925067) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)