| 基于互模拟和有界互模拟的模态逻辑模型之间的关系 |
| |
| 引用本文： | 姚从军,李健. 基于互模拟和有界互模拟的模态逻辑模型之间的关系[J]. 毕节学院学报, 2013, 31(4): 1-7 |
| |
| 作者姓名： | 姚从军 李健 |
| |
| 作者单位： | 1. 湖南科技学院思政部,湖南 永州,425199
2. 山西大学哲学系,山西 太原,030006 |
| |
| 基金项目： | 2012年国家社科基金项目"互模拟理论的逻辑研究"研究成果之一;项目 |
| |
| 摘 要： | 为了探索Kripke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念。首先,在Kripke模型上定义了互模拟与有界互模拟,并给出了模态逻辑的非良基模型定义和知识结构模型定义,证明后两类模型分别表达了Kripke模型的互模拟类和有界互模拟类;其次,证明了有界互模拟怎样被无穷模态逻辑的特定部分所刻画和通过Ehrenfeucht游戏来刻画;最后,给出了一些学者在不同的情景下证明的一些结果,使用互模拟和有界互模拟概念证明它们之间的关系。
|
| 关 键 词： | 互模拟 有界互模拟 Kripke模型 非良基集合 知识结构 |
The Relationships between the Modal Logic Models Based on Bisimulation and Bounded Bisimulation |
| |
| YAO Cong-jun , LI Jian. The Relationships between the Modal Logic Models Based on Bisimulation and Bounded Bisimulation[J]. Journal of Bijie University, 2013, 31(4): 1-7 |
| |
| Authors: | YAO Cong-jun LI Jian |
| |
| Affiliation: | 1.Department of Politics,Hunan University of Sicence and Engineering,Yongzhou,Hunan 425199,China; 2.Department of Philosophy,Shanxi University,Taiyuan,Shanxi030006,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
