Hybrid Logics with Infinitary Proof Systems. - Kooi, Barteld; Renardel, Gerard; Verbrugge, Rineke (Journal of Logic & Computation, 2006)