In this talk we introduce $\mathbf{HHL}$, a hierarchical variant of hybrid logic. In particular, we study first order correspondence results and we present a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for $\mathbf{HHL}$. We also discuss decidability and completeness of this logic.