Temporal logic : - Ohrstrom, Peter (Studies in linguistics and philosophy, 1995)