Enviar por SMS: Modal logic : an introduction to its syntax and semantics / Nino B. Cocchiarella and Max A. Freund.