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

该著解决了传递逻辑格的濒表格性的语义判据,以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题,展示了如何将已有的传递濒表格逻辑的结果纳入该著提出的方法和视野。全书包括“序篇”“主篇”和“附录”。“序篇”介绍了背景知识,回顾了传递濒表格逻辑的研究发展史;“主篇”完整叙述了传递濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果;“附录”给读者提供了备查的相关知识。