 While the weaker versions of hybrid logics — with nominals, satisfaction operators, universal modality, and difference modality — are still decidable, the more expressive ones — with quantifiers over nominals or reference pointers — are usually undecidable. For details, see Goranko (1996); and Areces and ten Cate (2006).