You are about to access our book library "Temporal Logic: From Ancient Ideas to Artificial Intelligence full version" .