D. Álvarez Domínguez, “Hybrid Logic as extension of Modal and Temporal Logic”, RHV, no. 13, pp. 34–67, Aug. 2019.