Logic and Computation Courses

Introductory Courses

Temporal Logics

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.

 

 

Connect with us

32nd European Summer School in Logic, Language and Information - ESSLLI 2021
Please send any queries to

  • esslli@uu.nl

Search