Hybrid Logic and its Proof-Theory - Braüner, Torben (Springer Netherlands, 2011)