Text this: Sequent calculus for hybrid logic