The logic of time : - Benthem, Johan van, 1949- (Synthese library, 1991)