论文部分内容阅读
证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n的多元模态公式.
多元模态逻辑中的范本特姆—罗森定理
【摘 要】
：
证明了在多元模态逻辑中范本特姆—罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深度为n的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深
【机 构】
：
西南大学计算机与信息科学学院; 西南大学逻辑与智能研究中心;
【出 处】
：
西南大学学报(自然科学版)
【发表日期】
：
2013年12期
【基金项目】
：
国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地项目资助(09SKB35);中央高校基本科研业务费专项资金资助(XDJK2014C040)
其他文献
[目的]了解安仁县2004～2005年居民循环系统疾病死亡率及原因,为防治循环系统疾病提供科学依据。[方法]收集安仁县2004～2005年全部死亡资料及基线资料,采用ICD-10国际疾病分类标
推断题是历年各地中考的一种必考题型,这类题型所包含的内容较多,条件隐蔽,变化较大,关系复杂,综合性强,是学生较容易失分的题型.近年各地所考中考题灵活度越来越大,题目越来
目的:对比多囊卵巢综合征(PCOS)患者与健康人群血脂四项、凝血三项的变化,探讨PCOS疾病本身对人体血脂代谢及凝血功能的影响,以预测PCOS并发症尤其是心血管方面并发症的发生
1型糖尿病作为一种胰岛素依赖性的代谢紊乱综合征,不仅与遗传性内因有关,也与能量和饮食失衡以及肠道微生物等环境性外因有关。而益生菌作为一种环境因素,可能影响宿主的肠道
[目的]研究不同品种烟草在不同培养基上愈伤组织的诱导情况。[方法]以烟草HY-9-7、云烟97和K326的幼嫩叶片为材料,分别在MS+2,4-D 2.0 mg/L+KT 0.2 mg/L和MS+NAA 2.0 mg/L+6-
<正>1病例报告患者,31岁,因停止哺乳4+月月经未复潮于2015年8月16日入院。既往月经规则,经期4天,周期25天,量中,2009年因稽留流产于外院行药物流产加清宫术,术后月经量减少为
交通运输是经济社会发展的先行官,也是北斗系统的最大行业用户,交通运输行业高度重视北斗应用,出台了一系列标准规范,但在国家军民融合的大环境下,其与军民融合标准化建设要
<正>"拆分法"是一种将整体分解成部分,把复杂转化为简单,培养创造性思维过程的思想方法.在有些化学计算题中,妙用"拆分法"求解,能简化解题过程,提高解题效率.一、巧妙拆分反
目的:探讨关于思密达治疗小儿口腔溃疡的疗效。方法:随机地将患儿分为治疗组和对照组,治疗组65例患儿使用思密达进行治疗,对照组65例患儿则采用锡类散治疗,观察两组的疗效。