@inproceedings{b635957084a041ae98ce57c274a2ad3d,
title = "A proof of Kamp's theorem",
abstract = "We provide a simple proof of Kamp's theorem.",
keywords = "Expressive Completeness, Monadic Logic, Temporal Logic",
author = "Alexander Rabinovich",
year = "2012",
doi = "10.4230/LIPIcs.CSL.2012.516",
language = "אנגלית",
isbn = "9783939897422",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
pages = "516--527",
booktitle = "Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012",
note = "26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL ; Conference date: 03-09-2012 Through 06-09-2012",
}