Temporal Logic from Ancient Ideas to Artificial Intelligence by Peter Ohrstrom & Per F.V. Hasle