Temporal Logics

LoCo Introductoryweek 1

each day

Lecturer:
Valentin Goranko (Stockholm University)

Website: https://www2.philosophy.su.se/goranko/Courses2021/TemporalLogics-esslli2021.html

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.