有关模拟理论的论文：互模拟理论的逻辑研究述评.docVIP

有关模拟理论的论文： 互模拟理论的逻辑研究述评 在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆(VanBenthem)定理问世之后，互模拟被广泛地运用于模态逻辑的研究中，目前已成为模态逻辑模型论的一个核心概念;在集合论中，互模拟的研究不断向深度和广度扩展。当今，互模拟不断地被用到新的形式化理论中，这对于逻辑学，特别是哲学逻辑的进一步发展将起到极大的促进作用。 一什么是互模拟 从直观上讲，互模拟就是两个系统能够相互模仿对方，从而在观察者看来，它们是行为等价的。在20世纪70年代，人们在计算机科学、模态逻辑和集合论中大体上同时并且独立地发现了互模拟。经典的互模拟概念定义在一个加标转换系统(LTS)上。 互模拟 令LTS二W，{Ra}a二I})和LTS’二W’，}R’。4aol}是两个有相同标号集的加标转换系统，如果下面的条件成立，那么一个非空二元关系Z二Wxw’被称为LTS和LTS’之间的一个互模拟关系(记作Z:LTS竺LTs‘): (i)如果wZw‘，并且Rawv，那么在W，中存在一个v’使得vZv’，并且Ra’w’v‘。 (11)如果wZw‘，并且Ra’w‘v’，那么在W中存在一个v使得vzv’，并且Rawv。如果是LTS到LTS’的一个互模拟关系，并且wzw’，我们称w和w‘是互模拟的。!’: 二互模拟理论研究概况 互模拟研究的开端可追溯到20世纪60年代