Seol mar théacs é seo: Meaning and necessity: a study in semantics and modal logic