基于互模拟和有界互模拟的模态逻辑模型之间的关系

摘要

为了探索Kripke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念.首先,在Kripke模型上定义了互模拟与有界互模拟,并给出了模态逻辑的非良基模型定义和知识结构模型定义,证明后两类模型分别表达了Kripke模型的互模拟类和有界互模拟类；其次,证明了有界互模拟怎样被无穷模态逻辑的特定部分所刻画和通过Ehrenfeucht游戏来刻画；最后,给出了一些学者在不同的情景下证明的一些结果,使用互模拟和有界互模拟概念证明它们之间的关系.