Zaslat SMS: Meaning and necessity: a study in semantics and modal logic