A proof of Kamp's theorem

Research output: Contribution to journalArticlepeer-review

Abstract

We provide a simple proof of Kamp's theorem.

Original languageEnglish
JournalLogical Methods in Computer Science
Volume10
Issue number1
DOIs
StatePublished - 18 Feb 2014

Keywords

  • Expressive completeness
  • Monadic logic
  • Temporal logic

Fingerprint

Dive into the research topics of 'A proof of Kamp's theorem'. Together they form a unique fingerprint.

Cite this