Temporal Logic: From Ancient Ideas to Artificial Intelligence