A PROOF OF KAMP'S THEOREM

作者：Rabinovich Alexander^*

来源：Logical Methods in Computer Science, 2014, 10(1): 14.

DOI：10.2168/LMCS-10(1:14)2014

• Temporal Logic
• Monadic Logic
• Expressive Completeness.

We provide a simple proof Kamp's theorem.

• 出版日期2014