Álvarez Domínguez, D. Hybrid Logic As Extension of Modal and Temporal Logic. RHV 2019, 34-67.