The following pages link to (Q4904145):
Displaying 23 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)
- On coarser interval temporal logics (Q2321249) (← links)
- Hybrid fragments of Halpern-Shoham logic and their expressive power (Q2334600) (← links)
- Two-sorted point-interval temporal logics (Q2825405) (← 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)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals (Q3374097) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- (Q5028481) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- On Temporal and Separation Logics (Q5079764) (← 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)
- Interval Temporal Logic Semantics of Box Algebra (Q5404934) (← links)
- A New Modal Approach to the Logic of Intervals (Q5432670) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes (Q6077844) (← links)
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities (Q6551701) (← links)
