Meaning and necessity : a study in semantics and modal logic / by Rudolf Carnap. Chicago [u.a.] : Univ. of Chicago Pr., 1975