Pages that link to "Item:Q2922038"
From MaRDI portal
The following pages link to Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals (Q2922038):
Displayed 4 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)
- Bounded variability of metric temporal logic (Q2408743) (← links)