"Temporal Logic: From Ancient Ideas to Artificial Intelligence" - читать интересную книгу автора (Peter Ohrstrom, Per F.V. Hasle)