The following pages link to (Q4904145):
Displayed 14 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)
- (Q5028481) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5079792) (← links)
- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic (Q5224503) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)