更新时间:-- | 阅读量: 240
又名关系语义学,现代模态逻辑的主要语义理论之一,其主要贡献者有:卡尔纳普、克里普克(S...以上所述为模态命题逻辑的语义学。不过，模态谓词逻辑的语义学依然是可能世界语义学，其中心概念依然是模型。不过，这里的模型是一个有序四元组<W， ...
搜索到与“ 可能世界语义学”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
