论文部分内容阅读
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系.
互模拟与逻辑
【摘 要】
：
本文首先讨论了模态逻辑与μ算子的表达能力、博弈语义,给出一阶逻辑与Monadic二阶逻辑的博弈形式,然后讨论互模拟等价在这些逻辑表达能力的核心作用和这些逻辑之间的关系.
【机 构】
：
上海交通大学计算机系
【出 处】
：
计算机科学
【发表日期】
：
2004年1期
【基金项目】
：
国家自然科学基金
其他文献
研究了Cr17铁素体不锈钢的初始凝固组织对与皱折特性相关的晶粒簇演变的影响和对冷轧退火板皱折的影响机制.结果表明：1.柱状晶和等轴晶铸坯在轧制和退火过程中其晶粒簇演变是
从幼儿园游戏课程的设置来看,玩沙课程的设置在幼儿园游戏课程中占有着重要地位,通过组织幼儿进行玩沙游戏活动,不仅可以让幼儿的多种能力得到锻炼,还可以有效培养孩子们的良
目的分析食管癌术后患者肺部感染发生原因,制定相应护理措施,以降低肺部感染风险。方法选取我院2016年1月至2020年1月收治的食管癌患者96例,均行手术治疗,统计本组患者基础资
蛋白质结构预测问题是计算生物学领域的核心问题之一.通过理论计算的方法根据蛋白质氨基酸序列直接预测其空间结构是解决这一问题的有效途径.构造了新的邻域结构,采用了部分
幼儿教育是基础教育的重要组成部分。做好幼儿教育对启迪幼儿智力,引导其形成良好的生活习惯以及对其未来的成长发展都有很重要的现实意义。而家园共育作为幼儿教育中的主要