Pages that link to "Item:Q2251124"
From MaRDI portal
The following pages link to The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124):
Displaying 7 items.
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← 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)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- (Q5079773) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
