Barteld P. Kooi Gerard R. Renardel de Lavalette Rineke Verbrugge Hybrid Logics with Infinitary Proof Systems. 161-175 2006 16 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exi086 db/journals/logcom/logcom16.html#KooiLV06