Hybrid Logic as extension of Modal and Temporal Logic | Publicación