Temporal logic : - Gabbay, Dov M. 1945-; Ohlbach, Hans Jurgen (Lecture notes in computer science. Lecture notes in artificial intelligence ;, 1994)