Αποστολή με SMS: Hybrid Logic and its Proof-Theory