The following pages link to On begins, meets and before (Q2909218):
Displaying 5 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers (Q3113783) (← links)
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (Q5271056) (← links)
