A functional approach for temporal modal logics | Publicación