%0 Journal Article %T Bisimulation with Logic
互模拟与逻辑 %A SHEN Hao SUN Yong-Qiang %A
沈浩 %A 孙永强 %J 计算机科学 %D 2004 %I %X 本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系。 %K 互模拟 %K 模态逻辑 %K μ算子 %K 表达能力 %K 博弈语义 %K 集合 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1A821506F0AB9B67&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=CA4FD0336C81A37A&sid=08805F9252973BA4&eid=BB0EA31DB1B01173&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5