Meaning and necessity: a study in semantics and modal logic.
Carnap, Rudolf,1891-1970.
Chicago, 
1958.