この資料をSMS送信: Meaning and necessity: a study in semantics and modal logic