A proof of Kamp’s theorem

Date: Monday, July 09, 2012
Speaker: Alexander Rabinovich
Venue: TU Vienna

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.

Posted in RiSE Seminar