模态逻辑中的典范问题研究
图书信息
书名：模态逻辑中的典范问题研究作者：裘江杰
包装：平装
开本：16
页数：255页
出版社：中国社会科学出版社
出版时间：2014-6-1
图书简介
模态逻辑学是计算科学，语言学等学科的交互领域，研究充分发展。该书作者裘江杰编著的《模态逻辑中的典范问题研究》分为六章，优秀章是绪论。第二章主要探讨了典范框架的研究，包括典范框架的结构、典范框架的拟模态理论以及典范框架上的拓扑结构等；第三章则从公式的层面上讨论典范性及典范性与其他的性质的初等性关系；第四章介绍法因定理与法因问题，从宏观的层面理解典范性。第五章则分别从可典范公理化、有穷框架性及可典范公理化逻辑类等三个角度研究典范性，可公理化与有穷框架性与逻辑的可判定性有密切的联系。第六章从代数角度看典范，主要涉及代数与逻辑、对偶、法因定理的代数证明等方面。
推荐理由
该书对于研究模态逻辑及相关领域有重要的参考价值，同时也可作为高年级本科生或研究生的参考教材。该书系统而且精辟，其中的典范框架的概念是研究典范问题的重要原理。裘江杰编著的《模态逻辑中的典范问题研究》是该领域的重要著作之一，值得推荐阅读。