Generalization of some properties of relations in the context of functional temporal×modal logic

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math., 85(3&4):371-383, 2008. [doi]

Abstract

Abstract is missing.