發送短信: Meaning and necessity: a study in semantics and modal logic