 [T]he guiding idea in our constructions of systems of modal logic is this: a proposition \(p\) is logically necessary if and only if a sentence expressing \(p\) is logically true. That is to say, the modal concept of the logical necessity of a proposition and the semantical concept of the logical truth or analyticity of a sentence correspond to each other. (1946: 34) 