字词 | 可能世界语义学 |
类别 | 中英文字词句释义及详细解析 |
释义 | 可能世界语义学又称“关系语义学”、“克里普克语义学”。现代模态逻辑的主要语义理论之一。主要概念是模型,即 一个有序三元组(W,R,V)。W是可能世界的非空集合;R是定义在W之上的任意二元关系,即可能世界之间的可通达关系;V是赋值,给模态系统中的公式指派W中的元素或子集,从而使模态公式在W中的元素或子集上为真或者为假。 |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。