Logics of Time and Computation. Number 7 (1992)

by R Goldblatt
Venue:in Lecture Notes. CSLI