Meaning and Necessity : a study in semantics and modal logic - Carnap, Rudolf (Phoenix Books, 1970)