可能世界语义

（计算机科学技术）

可能世界语义（possible world semantics），计算机科学技术名词，利用“可能世界”的思想去定义逻辑上可能性、必然性和偶然性的一种语义。