Logics of Time and Computation, Second Edition, Revised and Expanded (1992)

by R Goldblatt
Venue:of CSLI Lecture Notes. CSLI