Hybrid Logic and its Proof-Theory