Envoyer par SMS: Razonamiento revocable y lógicas no monótonas