On the Complexity of Hybrid Logics with Binders.

Balder ten Cate, Massimo Franceschet

Browse the full CSL paper archive.