Meaning and Necessity : a study in semantics and modal logic - Carnap, Rudolf (The University of Chicago Press, 1970)