Logics of time and computation - Goldblatt, Robert 1949- (CSLI/SRI Internat., 1987)