Αποστολή με SMS: Temporal logics and their applications