关系语义学:模态逻辑系统的一种解释理论
发布时间：2018-04-13 16:14
本文选题：可能世界 + 关系 ； 参考：《湘潭矿业学院学报》1998年02期
【摘要】：对关系语义学的基本概念可能世界、可通关系、赋值函数、个体域作了简要分析，并运用模型〈Ｗ，Ｒ，Ｖ，Ｄ〉对必然命题、可能命题作出明确的语义定义，在此基础上又根据可通关系Ｒ的不同性质对模态逻辑系统Ｓ５、ＱＳ５等的有效性作了必要的证明，
本文编号：1745242
本文链接：https://www.wllwen.com/shekelunwen/ljx/1745242.html
