：克里普克语义可以用来分析除了真势模态之外的模态，并且克里普克语义不假定模态现实主义，它或许是可能世界的语言所预示的。
从模态逻辑到哲学工具.以此作为根基，“可能世界”成为很多哲学开发的中心部分，从1960年代至今–包括依据大卫·刘易斯和开发最着名的反事实条件分析，它依据的是“邻近的可能世界”。在这个分析中，当我们讨论“如果”某些条件在场“就会”发生什么的时候，我们的断言的真实性由在具备这些条件的最邻近的可能世界（或最邻近的可能世界的“集合”）中什么是真的来决定。（可能世界W被称为