The following pages link to (Q4904145):
Displayed 9 items.
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Checking interval properties of computations (Q329413) (← links)
- Constraining cycle alternations in model checking for interval temporal logic (Q737106) (← links)
- Interval extensions of orders and temporal approximation spaces (Q820474) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Prompt Interval Temporal Logic (Q2835872) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)