Αποστολή με SMS: Studies in modeltheoretic semantics