• The Logic of Time: from Aristotle to Computer Science 

      Bresolin, Davide (2017-11-24)
      This short course will explore that continuous thread which connects the discussion about time in philosophy with the modern use of temporal logic in computer science. It will go through the history of temporal logic to ...