互模拟与逻辑

摘要：

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

关键词：互模拟、博弈、一阶逻辑、Monadic二阶逻辑、模态逻辑、μ算子

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60073033

在线出版日期：2004-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：92-94