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