Hybrid logic and its proof-theory - Braüner, Torben. (Springer,)