互模拟理论的逻辑研究

书籍简介:

本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展历程，讨论了互模拟的性质；其次，阐述了互模拟在模态逻辑中的基本理论，比较互模拟与模态等价之间的关系，运用互模拟拓展模态模型构造技术，并给出“双模拟”概念，分析了“双模拟”的性质作用；再次，阐述了互模拟在集合论中的基本理论，对非良基集合进行分类，并抽象出方程组的解引理；最后，基于互模拟，揭示了模态逻辑与非良基集合论之间的内在联系。

书籍规格:

书籍信息归属:

互模拟理论的逻辑研究是科学出版社于2016.出版的中图分类号为 B815.1 的主题关于 模态逻辑－研究 的书籍。