A Proof of Kamp's theorem - Alexander Rabinovich (Logical Methods in Computer Science, 2014)
We provide a simple proof of Kamp's theorem.