Meaning and necessity : a study in semantics and modal logic - Carnap, Rudolf (University of Chicago Press, 1975)