Valentin Goranko

Week 2, August 10-14, 2020

Abstract:

This course will introduce and discuss the most important types and systems of temporal logics, including instant-based logics of linear and branching time, interval-based temporal logics, hybrid temporal logics, and temporal-epistemic logics.

The course is intended as interdisciplinary, for a broad audience of graduate students interested in logical, philosophical, and computational aspects of temporal reasoning.