作者:杜珊珊//康宏逵
类别:哲学思想电子书
关键词:临界的传递逻辑:模态逻辑的濒表格性问题探究
整理日期:2017-09-24 15:21:24
下载地址: 本地下载 网友上传
作品导读
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
临界的传递逻辑:模态逻辑的濒表格性问题探究的作者是杜珊珊//康宏逵。本站已与多数网站、公司和作者建立版权共享协议,若您发现您拥有版权的作品未与本站授权,请及时联系我们,我们会立刻处理。