This dissertation (1961) provides a systematic introduction to modal logic systems and stands as the first presentation of central ideas in philosophy of language and metaphysics, from the new theory of reference and non-linguistic necessity and essentialism to Kripke semantics.