论文部分内容阅读
证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立，即：在有限模型语义下，一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．
多元模态逻辑在有限模型语义下的■os-Tarski定理
【摘 要】
：
证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立，即：在有限模型语义下，一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．
【机 构】
：
贵州师范大学数学与计算机科学学院
【出 处】
：
贵州师范大学学报：自然科学版
【发表日期】
：
2009年3期
其他文献
摘要：目的 探讨常规针刺华佗夹脊穴结合背腧穴的平刺对于慢性劳损性腰背痛的临床疗效。方法 在本院门诊及住院部选取60例慢性腰背痛患者（劳损性），随机分成2组，治疗组和对照组。治疗组30例，采用常规针刺华佗夹脊穴配合背腧穴的平刺疗法；对照组30例，采用常规针刺疗法。结果 治疗后2组患者症状均得到改善，治疗组总有效率为9166%，对照组总有效率为7334%，治疗组疗效优于对照组（P005），具有可比性。
厦门要建设的不仅是一个形态上的海湾型城市,更重要的是要建设一个功能上满足"区域中心城市"要求的海湾型信息化城市.而支撑城市功能一步步提升的,正是厦门城市信息化建设理
最近,笔者发现很多农民往农田送粪,回来时,从农田路两旁取土,或垫圈,或积粪,或填田。这种做法很不好,因为农田路是农用机动车辆行驶的通道,在农田路两旁取土,会影响农田路的
今年1月15日,国家信息化测评中心发布<2004年度"中国企业信息化500强"调查报告>,同时揭晓"中国企业信息化500强"评选结果.神州数码(中国)有限公司除了名列"中国企业信息化500
当前，旅游业通过大规模的开发建设，经济利益成了压倒性的目标，而造成区域不少高品味的旅游资源和良好的景观环境遭到很大的破坏。通过对平坝挂多地区喀斯特旅游资源和环境的野外
1．为老工业基地打造中国“全球制造基地”带来机遇 随着加入WTO后中国制造业及相关上下游产业的进一步开放，跨国公司围绕着先期的投资项目，开始着手逐步完善产业链条，增强在中国
摘要：目的探讨木贼有效部位抑制氧化低密度脂蛋白（ox-LDL）诱导人脐静脉内皮细胞（HUVEC-ECV304）凋亡的可能机制。方法体外ox-LDL诱导人脐静脉内皮细胞损伤，用木贼有效部位进行干预；采用流式细胞术检测细胞凋亡率及Caspase-3蛋白；反转录聚合酶链反应（RT-PCR）检测内皮细胞Caspase-3mRNA表达。结果ox-LDL可明显诱导内皮细胞凋亡，上调Caspase-3mRNA及
介绍了盘形凸轮廓线的形成,利用三坐标测量机对盘形凸轮廓线进行测量,讨论了测量原理、方法、数据输出以及对CMM测头直径的补偿.