论文部分内容阅读
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系.
互模拟与逻辑
【摘 要】
：
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系.
【机 构】
：
上海交通大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年1期
【基金项目】
：
国家自然科学基金
其他文献
研究了Cr17铁素体不锈钢的初始凝固组织对与皱折特性相关的晶粒簇演变的影响和对冷轧退火板皱折的影响机制.结果表明：1.柱状晶和等轴晶铸坯在轧制和退火过程中其晶粒簇演变是
目的分析食管癌术后患者肺部感染发生原因,制定相应护理措施,以降低肺部感染风险。方法选取我院2016年1月至2020年1月收治的食管癌患者96例,均行手术治疗,统计本组患者基础资