Indrzejczak, A. Modal Hybrid Logic. LLP 2007, 16, 147-257.