Αποστολή με SMS: Natural Deduction, Hybrid Systems and Modal Logics