The Interval Model of Time (Temporal Logic)