# A Proof of Kamp's theorem

arXiv: https://arxiv.org/abs/1401.2580 · HTML: https://mlsanity.com/paper/1401.2580/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Jan 2014.

## Built on by (most cited first, 1 of 1)

- [A first-order logic characterization of safety and co-safety languages](https://mlsanity.com/paper/2209.02307/) (2022)

## Abstract (arXiv)

We provide a simple proof of Kamp's theorem.