Pages that link to "Item:Q3113783"
From MaRDI portal
The following pages link to Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers (Q3113783):
Displaying 14 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Reactive synthesis from interval temporal logic specifications (Q2062122) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Why Systems of Temporal Logic Are Sometimes (Un)useful? (Q2814135) (← links)
- On begins, meets and before (Q2909218) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness (Q5271056) (← links)
- An interval temporal logic characterization of extended \(\omega\)-regular languages (Q6159024) (← links)
- Extended bounded response LTL: a new safety fragment for efficient reactive synthesis (Q6661746) (← links)
