Logics of Time and Computation (1987)

by R Goldblatt
Venue:CSLI Lecture Notes 7