Αποστολή με SMS: Gentzen Calculi for Modal Propositional Logic