Text this: Hybrid Logic and its Proof-Theory