The following publications are possibly variants of this publication:
- Generalization of some properties of relations in the context of functional temporal×modal logicAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. ijcm, 85(3&4):371-383, 2008. [doi]
- Indexed Flows in Temporal x Modal Logic with Functional SemanticsAlfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. time 2002: 146 [doi]
- MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication TechnologiesGabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco. sbia 2006: 602-611 [doi]