Pages that link to "Item:Q5369240"

The following pages link to Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240):

Displaying 8 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)
• (Q5079773) (← links)
• Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)
• Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)