**Date: **
Monday, July 09, 2012

**Speaker: **
Alexander Rabinovich

**Venue: **TU Vienna

**Notes: **

From 16:00

A major result concerning temporal logics is Kamp’s Theorem (1968) which states that the pair of modalities “until” and “since” is expressively complete for the first-order fragment of the monadic logic over the linear time canonical models.

We provide a simple proof of Kamp’s theorem.