The question now arises how the two kinds of alethic modalities relate to each other. The answer, of course, depends on how precisely we characterize the two notions. Suppose that we have a class K consisting of all Kripke models for a language of modal propositional or predicate logic with operators: Ø for metaphysical necessity, L for logical necessity, and A for actuality. Each model is asso...