Temporal logic : - Gabbay, Dov M. 1945- (Oxford logic guides ;, 1994)