Αποστολή με SMS: Temporal Logic