Norihiro Kamide. Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. In Michael Fisher, Fariba Sadri, Michael Thielscher, editors, Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Volume 5405 of Lecture Notes in Computer Science, pages 57-76, Springer, 2008. [doi]
Abstract is missing.