A Proof of Kamp's theorem

We provide a simple proof of Kamp's theorem.

Bibliographic Details
Main Author:	Alexander Rabinovich
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2014-02-01
Series:	Logical Methods in Computer Science
Subjects:	computer science - logic in computer science mathematics - logic
Online Access:	https://lmcs.episciences.org/730/pdf

Internet

https://lmcs.episciences.org/730/pdf