Zaslat SMS: Una introducción a la lógica modal /