| 词条 | 可能世界语义学 |
| 类别 | 中文百科知识 |
| 释义 | 可能世界语义学又称“关系语义学”、“克里普克语义学”。现代模态逻辑的主要语义理论之一。主要概念是模型，即 一个有序三元组(W,R,V)。W是可能世界的非空集合；R是定义在W之上的任意二元关系，即可能世界之间的可通达关系；V是赋值，给模态系统中的公式指派W中的元素或子集，从而使模态公式在W中的元素或子集上为真或者为假。 |
| 随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。