Hybrid Logic and its Proof-Theory (Applied Logic Series)