书籍简介:

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

书籍规格:

书籍详细信息
书名	互模拟理论的逻辑研究站内查询相似图书
	9787030486202 如需购买下载《互模拟理论的逻辑研究》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	65.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	200	印数

全网搜索试读资源

书籍信息归属:

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