Temporal logic - Venema, Yde (Inst. for Logic, Language and Computation, 1998)