我们事实上住在的世界。命题的模态状态被按照“在其中它为真的世界”的方式来理解；所以：可能世界的想法最普遍的归功于莱布尼兹，他称可能世界为神头脑中的想法，并使用这个观念来争辩说，我们实际上的神造的世界一定是“所有可能世界中最好的”。但是，学者也曾在卢克莱修、伊本·鲁世德和邓斯·司各脱的着作中找到了这种想法的踪迹。这个观念的现代哲学使用的先驱是索尔·阿伦·克里普克。
模态逻辑的形式语义.从可能世界语义推导出来的系统性的理论在1950年代由索尔·阿伦·克里普克和他的同事首次介入。以