临界的传递逻辑——模态逻辑的濒表格性问题探究

临界的传递逻辑——模态逻辑的濒表格性问题探究
9787030530813
杜珊珊,康宏逵 著
国家社科基金后期资助项目
B815.1
科学出版社
2017-07
2017
2017
　　本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为