Meaning and necessity : a study in semantics and modal logic