A Propositional Modal Logic of Time (1991)

by J Halpern, Y Shoham
Venue:Intervals, J. ACM