A propositional modal logic of time intervals (1991)

by J Halpern, Y Shoham
Venue:Journal of the ACM