 Hybrid-logical notions have been applied in many different places, for example, the paper Areces and Fervari (2021) adds hybrid operators to XPath, which is a widely used query language for XML, a markup language for describing digital text. Hybrid-logical has also been used to add expressive power to specification logics to capture certain properties of computational systems, see Neves, Madeira, Martins, Barbosa (2016). It should, moreover, be mentioned that logics similar to hybrid logics play a central role within the area of description logic, which is a family of logics used for knowledge representation in Artificial Intelligence, see the paper Blackburn and Tzakova (1998) and Carlos Areces’ PhD thesis (2000).