Logics of Time and Computation,” Number 7 (1987)

by R Goldblatt
Venue:in CSLI Lecture Notes