可能世界语义学( semantics of possible worlds)是现代逻辑中借助于“可能世界”观念所建立起来的语义理论。逻辑学家克里普克等人在20世纪50年代末至60年代初建立了这一理论，因而又被称为“克里普克语义学”。它最初被用于模态逻辑，严密而清晰地揭示了多种模态公理系统的直观背景，使模态逻辑的研究进入了一个崭新的阶段。

之后，它又被推广用于时态逻辑、道义逻辑、直觉主义逻辑等多种现代逻辑分支学科，推动了这些分支学科的发展。它对自然语言逻辑、逻辑哲学和语言哲学的研究，也有重要的影响。