Pages that link to "Item:Q6487472"
From MaRDI portal
The following pages link to On expressiveness of Halpern-Shoham logic and its Horn fragments (Q6487472):
Displaying 8 items.
- A characterization of belief merging operators in the regular Horn fragment of signed logic (Q1997240) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- Expressiveness and completeness of an interval tense logic (Q2277246) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← 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)
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)