Monday, July 09, 2012
Speaker: Alexander Rabinovich
Venue: TU Vienna
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.