Temporal Logics

academic year 2024/25

Academic Coordinator: Angelo Montanari

Period: First semester

Duration: 28 hours

Program:

  1. General Overview (Objective and subjective time, Time and language, The concept of time in physics)

  2. Logic and Time

  3. Computer Science and Time

  4. Final Reflections (Broader implications and concluding discussions)