A. Indrzejczak, “Modal Hybrid Logic”, LLP, vol. 16, no. 2-3, pp. 147–257, Aug. 2007.