In this talk I will introduce hybrid logics, an extension of modal logics which permits explicit reference to the elements of the model. We will focus on the hybrid languages H(@) and H(@,¯) and their temporal extensions, discussing expressive power, complexity of their satisfiability problem and some meta-logical properties like interpolation. The results I will present will help exemplify some of the special techniques (i.e. spy point arguments) characteristic to hybrid languages.