临界的传递逻辑——模态逻辑的濒表格性问题探究
引用
收藏
作者：
杜珊珊,康宏逵 著
ISBN：
9787030530813
出版日期：
2017-07
版次：
1
中图分类号：
B815.1
学科分类：
哲学
丛书：
国家社科基金后期资助项目
附注信息：
阅读
图书简介：
本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识，回顾了传递的濒表格逻辑的研究发展史；主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果；附录给读者提供了备查的相关知识。
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
