更新时间:-- | 阅读量: 325
又叫做义务逻辑、规范逻辑,是一个与命令句逻辑密切相关的研究领域,它所研究的是含有象“...S）如果把下述公理◇～S加到上面提到的某一个模态逻辑的公理中去，我们借助于给定的那个模态系统所具有的规则，就得到了不同的包含着道义逻辑作为子系统的模 ...
搜索到与“ 逻辑子系统”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
