1. Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821–868. Elsevier (2007).
2. Benevides, M.: Modal logics for finite graphs. In: Logic for Concurrency and Synchronisation, pp. 239–267. Kluwer Academic Publishers, Norwell (2003).
3. ten Cate, B.: Model theory for extended modal languages. Ph.D. thesis, University of Amsterdam, Institute for Logic, Language and Computation (2005).
4. Diestel, R.: Graph Theory. Springer, 5 edn. (2017).
5. Gargov, G., Goranko, V.: Modal logic with names. Journal of Philosophical Logic 22, 607–36 (1993).