interval temporal logics; time granularity; decidability

Decidability of Interval Temporal Logics over Split-Frames via Granularity

Logics for time intervals provide a natural framework for representing and reasoning about timing properties in various areas of artificial intelligence and computer science. Unfortunately, most interval temporal logics proposed in the literature …