模态逻辑研究

书名：模态逻辑研究
作者：董英东著
ISBN：978-7-208-19521-9
出版社：上海人民出版社
出版日期：2025.11
本书稿研究的是当代逻辑学领域中一个主流分支：模态逻辑。模态逻辑是关于模态算子的形式系统，也是标准逻辑的片段，用于对大量的模态概念进行表征和推理，这些模态概念是分布式计算和智能行为以及与其相应的真值模式的基础。书稿主要研究高阶模态逻辑的逻辑句法和语义，在详细讨论了模态逻辑的内涵和系统介绍了模态逻辑发展史的基础上，介绍并发展了对应理论和代数、量化模态逻辑和二阶（高阶）模态逻辑等相关思想，并将这些思想用于研究完全性、可计算性和复杂性等理论。书稿也指出了模态逻辑除了在哲学领域，在数学、语言学、计算机科学、人工智能、信息科学，甚至在经济博弈论等领域都得到了广泛的研究。