A propositional modal logic of time intervals (1991)

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