摘要： 本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与Monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。

关键词: 互模拟 模态逻辑 μ算子 表达能力 博弈语义 集合