Meaning and Necessity - A Study in Semantics and Modal Logic