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