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

【书名】 临界的传递逻辑模态逻辑的濒表格性问题探究
【作者】 杜珊珊,康宏逵
【出版社】 北京科学出版社
【出版时间】 2017.08
【关键词】 模态逻辑研究
【摘要描述】 图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格中濒表格逻辑族的基数、分类及公理化问题。
本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
【中国图书分类号】 B815.1

在线工具导航