可能世界語義學

可能世界語義學( semantics of possible worlds)是現代邏輯中藉助於“可能世界”觀念所建立起來的語義理論。邏輯學家克里普克等人在20世紀50年代末至60年代初建立了這一理論，因而又被稱為“克里普克語義學”。它最初被用於模態邏輯，嚴密而清晰地揭示了多種模態公理系統的直觀背景，使模態邏輯的研究進入了一個嶄新的階段。

之後，它又被推廣用於時態邏輯、道義邏輯、直覺主義邏輯等多種現代邏輯分支學科，推動了這些分支學科的發展。它對自然語言邏輯、邏輯哲學和語言哲學的研究，也有重要的影響。