Logics of Time and (1987)

by R Goldblatt
Venue:Computation, CSLI Lecture Notes No