A First Study of the Horn Fragment of the Modal Logic of Time Intervals