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