论文部分内容阅读
在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆（Van Benthem）定理问世之后，互模拟被广泛地运用于模态逻辑的研究中，目前已成为模态逻辑模型论的一个核心概念；在集合论中，互模拟的研究不断向深度和广度扩展。当今，互模拟不断地被用到新的形式化理论中，这对于逻辑学，特别是哲学逻辑的进一步发展将起到极大的促进作用。