1950年代，Saul Kripke及其同仁首次引入了一种系统性的理论，它源于可能世界语义，为可能性和必然性的断言提供了清晰的语义框架。在这个框架中，"可能的"陈述被理解为在至少一个可能的世界中为真实，而"必然的"则意味着在所有可能的世界中恒真。"真"的陈述至少在我们称之为"实际"或"这个"的世界中成立。因此，必然性陈述可以被看作是可能性和真实的特殊形式。
尽管可能世界语义常被用来替代Kripke语义，但这种等同并不准确。Kripke语义不仅限于处理真势模态，它涵盖了更广泛的模态逻辑分析。此外，Kripke语义并不假定模态现实主义，这与可能世界理论的某些基本假设有所区别，后者可能暗示了一种对现实本质的理解。
在哲学和逻辑中，可能世界的概念被用来表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”、“必然性”和“偶然性”这种观念。谈论可能世界在当代哲学讨论中是非常普遍的(特别是在英语世界中)，尽管有着巨大的争议。