临界的传递逻辑

书籍简介:

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

书籍规格:

书籍信息归属:

临界的传递逻辑是科学出版社于2017.7出版的中图分类号为 B815.1 的主题关于 模态逻辑－研究 的书籍。