Αποστολή με SMS: Model-theoretic logics