Why does the proof-theory of hybrid logic work so well?

Torben Bra√ľner. Why does the proof-theory of hybrid logic work so well?. Journal of Applied Non-Classical Logics, 17(4):521-543, 2007. [doi]

Abstract

Abstract is missing.