Pages that link to "Item:Q2938489"
From MaRDI portal
The following pages link to Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489):
Displaying 6 items.
- 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)
- (Q4580320) (← links)
- (Q5015271) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)