书目信息 机读格式(MARC)
互模拟理论的逻辑研究
| ISBN/价格： | 978-7-03-048620-2:CNY65.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 互模拟理论的逻辑研究/.姚从军著 |
| 出版发行项： | 北京:,科学出版社:,2016.07 |
| 载体形态项： | 188页:;+图:;+24cm |
| 一般附注： | 本书为国家社科基金项目“互模拟理论的逻辑研究”(12BZX060)结项成果 |
| 提要文摘： | 本书的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。 |
| 并列题名： | Studies of the logic of bisimulation eng |
| 题名主题： | 模态逻辑 研究 |
| 中图分类： | B815.1 |
| 个人名称等同： | 姚从军 著 |
| 记录来源： | CN shxhcmtsbmb 20160719 |