Generalization of some properties of relations in the context of functional temporal×modal logic | Publicación