论文部分内容阅读
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.
模态逻辑S4的覆盖语义及其完备性
【摘 要】
：
基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语
【机 构】
：
洛阳师范学院数学科学学院,洛阳师范学院信息技术学院
【出 处】
：
电子学报
【发表日期】
：
2012年4期
【基金项目】
：
国家自然科学基金（No.61050004）, 河南省基础与前沿研究计划（No.082300410270）
其他文献
自改革开放以来，我国经济水平不断提升，教育领域发生了较大的变革，当下推行素质教育理念，要求教育教学过程中更加关注学生的情感态度和心理健康。在此背景下，教师应当将情感教育渗
在应试教育的大环境下,学生的作文写作也受到了较大影响,很多学生写作的目的都只是在考试中取得更理想的成绩,而并非是对生活的思考与感受,往往都缺乏兴趣与主动性。而层递式
高中是学习的关键时期。政治由于其自身的特殊性，很多学生都认为政治是很枯燥的一门学科，全靠死记硬背，学习兴趣不高。就多年高中政治教学经验，谈谈政治教学中出现的许多问题，并提
我是一颗蒲公英的种子， 谁也不知道我的快乐和悲伤。 风牵着我的手， 飞向缥缈的远方。 雨水模糊了双眼， 迷茫的心分不清方向。 没有星星的夜晚， 我像折翼的天使，无法飞翔。 尊敬的各位评委、老师： 大家好，今天我陈述案例中的主人公小楼就像诗歌中蒲公英的小种子那样，成熟了，开始了人生新的旅程——小学。 可是入学不久，我发现他就像一个不定时的小炸弹，不足为道的小事都会引燃他暴躁的情绪
为了延长基于分簇结构的认知无线电网络的网络寿命,需要采用簇头轮换的方法来平衡认知无线电网络的能耗.通过分析网络中簇头节点与普通节点之间的能耗差异,建立能量消耗模型,