Abstract
We provide a simple proof of Kamp's theorem.
Original language | English |
---|---|
Journal | Logical Methods in Computer Science |
Volume | 10 |
Issue number | 1 |
DOIs | |
State | Published - 18 Feb 2014 |
Keywords
- Expressive completeness
- Monadic logic
- Temporal logic
Research output: Contribution to journal › Article › peer-review
We provide a simple proof of Kamp's theorem.
Original language | English |
---|---|
Journal | Logical Methods in Computer Science |
Volume | 10 |
Issue number | 1 |
DOIs | |
State | Published - 18 Feb 2014 |