A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time | Publicación