Alexander Moshe Rabinovich. Expressive Completeness of Temporal Logic of Action. In Lubos Brim, Jozef Gruska, JirĂ Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 229-238, Springer, 1998. [doi]
Abstract is missing.