| 互模拟与逻辑 |
| |
| 引用本文： | 沈浩,孙永强.互模拟与逻辑[J].计算机科学,2004,31(1):92-94. |
| |
| 作者姓名： | 沈浩 孙永强 |
| |
| 作者单位： | 上海交通大学计算机系,上海,200030 |
| |
| 基金项目： | 国家自然科学基金(60073033) |
| |
| 摘 要： | 本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。
|
| 关 键 词： | 互模拟 模态逻辑 μ算子 表达能力 博弈语义 集合 |
Bisimulation with Logic |
| |
| SHEN Hao SUN Yong-Qiang.Bisimulation with Logic[J].Computer Science,2004,31(1):92-94. |
| |
| Authors: | SHEN Hao SUN Yong-Qiang |
| |
| Affiliation: | Department of Computer .Shanghai Jiao Tong University .Shanghai 200030 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
