Temporal logic: from ancient ideas to artificial intelligence - Ohrstrom, Peter (Studies in linguistics and philosophy, 1995)