Pages that link to "Item:Q5224503"
From MaRDI portal
The following pages link to Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503):
Displaying 7 items.
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- The computational complexity of hybrid temporal logics (Q4511543) (← links)
- Computational complexity of a core fragment of Halpern-Shoham logic (Q5079792) (← links)
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
- On expressiveness of Halpern-Shoham logic and its Horn fragments (Q6487472) (← links)