A functional approach for temporal × modal logics.

Alfredo Burrieza Inman P. de Guzmán A functional approach for temporal × modal logics. 71-96 2003 39 Acta Inf. 2 http://link.springer.de/link/service/journals/00236/bibs/3039002/30390071.htm db/journals/acta/acta39.html#BurriezaG03