作者：姚从军著
出版社： 科学出版社
CIP号：2016126709
书号：978-7-03-048620-2
出版地：北京
出版时间：2016
定价：￥65
本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展历程，讨论了互模拟的性质；其次，阐述了互模拟在模态逻辑中的基本理论，比较互模拟与模态等价之间的关系，运用互模拟拓展模态模型构造技术，并给出“双模拟”概念，分析了“双模拟”的性质作用；再次，阐述了互模拟在集合论中的基本理论，对非良基集合进行分类，并抽象出方程组的解引理；最后，基于互模拟，揭示了模态逻辑与非良基集合论之间的内在联系。