A propositional modal logic of time intervals
The Temporal Logic of Programs