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