Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.

Norihiro Kamide Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. 57-76 2008 CLIMA IX http://dx.doi.org/10.1007/978-3-642-02734-5_5 conf/clima/2008 db/conf/clima/clima2008.html#Kamide08