A Proof of Kamp's theorem

Alexander Rabinovich. A Proof of Kamp's theorem. In Patrick C├ęgielski, Arnaud Durand, editors, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France. Volume 16 of LIPIcs, pages 516-527, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]

@inproceedings{Rabinovich12-2,
  title = {A Proof of Kamp's theorem},
  author = {Alexander Rabinovich},
  year = {2012},
  doi = {10.4230/LIPIcs.CSL.2012.516},
  url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.516},
  researchr = {https://researchr.org/publication/Rabinovich12-2},
  cites = {0},
  citedby = {0},
  pages = {516-527},
  booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France},
  editor = {Patrick C├ęgielski and Arnaud Durand},
  volume = {16},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-42-2},
}