Αποστολή με SMS: Proof theory of modal logic /