Αποστολή με SMS: Semantics, Logics, and Calculi