Axiomatizing hybrid logic using modal logic. - Ian M. Hodkinson; Louis Paternault (J. Appl. Log., 2010)