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]

No reviews for this publication, yet.