Pages that link to "Item:Q477203"
From MaRDI portal
The following pages link to Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203):
Displaying 13 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- (Q4580322) (← links)
- (Q5079773) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)