Hacia una lógica temporal-epistémica basada en lenguajes híbridos | Publicación