Meaning and necessity A study in semantics and modal logic. - Carnap Rudolf (1956)