论文部分内容阅读
证明了模态逻辑中(L)os-Tarski定理的有限模型论版本仍然成立,即:在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式.
多元模态逻辑在有限模型语义下的(L)os-Tarski定理
【摘 要】
：
证明了模态逻辑中(L)os-Tarski定理的有限模型论版本仍然成立,即:在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式.
【机 构】
：
贵州师范大学数学与计算机科学学院
【出 处】
：
贵州师范大学学报（自然科学版）
【发表日期】
：
2004年期
其他文献
坐观光车行驶在高低起伏、面积广阔的辰山国家植物园，最大的感受就是心旷神怡。园内的各个角落生长着9000种植物，而辰山植物园的目标是收集3万种植物。真要把它们看全，一得学知
对三维抛物型方程,构造了一个高精度恒稳定的PC格式,格式的截断误差阶达到O(Δt2+Δx4),通过数值实例验证了所得格式较现有的同类格式的精度提高了二位以上有效数字;然后将Ri
城市交通节能关系到城市能源的消耗和城市环境保护,是实现城市可持续发展的重要因素。要结合国内城市交通的实情,在政府引导、服务,城市交通部门具体实施和市民的节能、低碳
近些年,中小学生暴力行为有逐年上升的态势。中小学生暴力行为造成受害者的身心伤害,干扰学校正常的教学秩序,甚至影响社会和谐安定。不良成长环境、暴力文化泛滥、大众传媒
发展红色旅游是提高人们思想道德素质的要求,不仅仅是传播先进文化.本文指出加强景区党的建设,促进红色旅游的健康发展是一个值得关注的重要课题.
在保单贴现市场上,寿险保单持有人可通过转让保单受益权,获得高于退保金、低于死亡给付金的金额,投资者亦可通过投资贴现保单而获利,这就形成了寿险保单转让的二级市场。本文
随着国有企业改革的不断深入,工会担负的协调社会矛盾和劳动关系的任务进一步加重,工会工作面临新的挑战.工会工作者要积极探索出适应新形势要求的国有企业工会工作新路子和
依法治国是事关我们党执政兴国的重大战略问题,也是事关人民幸福安康、事关党和国家长治久安的重大战略问题,党的十八届四中全会对全面推进依法治国作出重大部署.认真学习贯