Αποστολή με SMS: Logics of Specification Languages