Gödel–Dummett linear temporal logic | Publicación