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

作者：杜珊珊//康宏逵日期：2017-09-24 15:21:24

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。

阅读提示：临界的传递逻辑:模态逻辑的濒表格性问题探究的作者是杜珊珊//康宏逵，全书语言优美，行文流畅，内容丰富生动引人入胜。为表示对作者的支持，建议在阅读电子书的同时，购买纸质书。