Zaslat SMS: Modal logics