%0 Journal Article
%T 互模拟与逻辑
%A 沈浩 孙永强？
%J 计算机科学
%D 2004
%X 本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义，给出一阶逻辑与monadic二阶逻辑的博弈形式，然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。
%K 互模拟模态逻辑μ算子表达能力博弈语义集合
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=9037417&flag=1