【摘 要】
：
本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和模态逻辑S5的混合逻辑具有有穷模型性。因此可推导出混合时态逻辑K4.t和模态逻辑S5是可判定的。该结果被延伸到其他常见的时态逻辑与模态逻辑的混合,时态逻辑之间的混合和模态逻辑之间的混合,并得到它们的有穷模型性证明。
【基金项目】
：
国家社科基金项目“非经典模态逻辑的证明论与语义学研究”(17CZX048)资助。
论文部分内容阅读
本文研究了混合模态逻辑的有穷模型性问题,介绍了一种基于代数证明论的有穷模型性证明新方法,并用该方法证明了混合时态逻辑K4.t和模态逻辑S5的混合逻辑具有有穷模型性。因此可推导出混合时态逻辑K4.t和模态逻辑S5是可判定的。该结果被延伸到其他常见的时态逻辑与模态逻辑的混合,时态逻辑之间的混合和模态逻辑之间的混合,并得到它们的有穷模型性证明。
其他文献
中国共产党非常重视对共同体思想的探索,在提出人类命运共同体思想之后,又创新性地提出了网络空间命运共同体思想.人类命运共同体思想提供了全球性传染病防控的重要理念,是防控新冠肺炎疫情的中国智慧.网络空间命运共同体是人类命运共同体的重要组成部分,构成了防控新冠肺炎疫情的重要理念.在全球抗击新冠肺炎疫情实践中,构建网络空间命运共同体可以有效阻止疫情的全球蔓延,促进全球经济健康发展,推动网络空间治理的国际合作.而同时,通过网络信息技术在全球新冠肺炎疫情防控中的运用,又有助于构建网络空间命运共同体,让互联网发展成果更
一、养老机构应该如何预防和减少与老年人之间的矛盾纠纷?rn答:《关于规范养老机构服务行为 做好服务纠纷处理工作的意见》结合养老机构服务纠纷的一些特点,提出了一系列要求和建议,主要分为四个方面:rn第一,总体上要求养老机构建立健全安全管理制度,压实安全主体责任,加强人员的教育培训,不断提高安全意识和服务能力,避免疏忽大意和能力不足等原因引起的纠纷.
基层群众自治制度最早发育于城市,在社会治理体系中发挥了重要作用.为保障其在城市基层治理中的优势,国家通过立法对居民委员会这种制度形式加以固化.在新时代背景下,如何以法治保障基层群众自治制度在城市基层治理中的优势以及作用,值得关注.
9月7日上午,“科圣故里·公益福彩”即开型福利彩票“墨子”全国云首发仪式在墨子故里——山东枣庄滕州举行.“墨子”即开型福利彩票,是以墨家学派创始人——墨子为画面设计的一款历史文化主题彩票,具有较强的文化价值和收藏价值.
自党史学习教育开展以来,慈善事业促进和社会工作司按照民政部党组统一部署,将“五社联动、情暖基层”作为“我为群众办实事”实践活动的重要内容,创新社区与社会组织、社会工作者、社区志愿者、社会慈善资源的联动机制,助力完善社区服务体系、精准回应居民服务需求,打通为民服务“最后一米”,取得较好成效.
内蒙古自治区包头市青山区推出免费定制“婚礼式颁证”服务;黑龙江省哈尔滨市南岗区增设领证前扫码答题新婚指导服务,为新人上好“婚前第一课”;河南省宁陵县推行婚嫁彩礼“限高”倡导标准,倡导彩礼不超过3万元,随份子不高于100元;湖南省澧县成立红白理事会,建立婚丧嫁娶事前备案、签订承诺书制度……
异喻理论是因明逻辑独有的一种论据概念,汉藏因明都承认异喻理论在因明逻辑论据理论中是不可或缺的。本文通过对异喻理论中“异喻体”与“异喻依”、“异喻依”与“异品”、“异喻”与“因三相”等概念和关系的分析和研究,提出:汉传因明是“因三相”意义上的逻辑体系,藏传因明是“因二相”意义上的逻辑体系。
代语句真理论主张“是真的”只存在于“它是真的”与“那是真的”代语句形式中,真谓词不具备实体描述属性。这种理论具有典型的特设性,它创设了代语句“thatt”,借助个体量化词的分析完成对“thatt”的命题量化,同时在创设的英语*中用联结词加连字符的方式对代语句形式进行修改,还对悖论提出了代语句式的读解。这种特设尽管可以帮助我们理解理论存在的合理性,但由于特设太强,也导致该理论无法普遍推广。
浙江省嘉兴市民政局高度重视社会组织的培育扶持和作用发挥,着重在出政策强扶持、建平台促发展、抓管理增活力等方面不断探索,支持引导各类社会组织有序参与社会治理和公共服务,助推打造嘉兴市域社会治理现代化先行市“金名片”.截至目前,全市有登记注册的社会组织4741家,备案社区社会组织16875家,业务范围涵盖经济、教育、文化、体育、公益慈善、社会服务等领域,成为人民群众参与社会治理和公共服务的重要载体.
“中国哲学分析化”在当代中国哲学研究中始终是一个引起争议的话题。“中国哲学分析化”的关键在于“分析化”。在当代哲学中,分析方法有许多不同形式。这里的“分析方法”主要是指概念分析和语义分析,通过对哲学概念的语义与用法的分析,揭示哲学概念的多重含义。从中国哲学分析化的问题出发,在哲学方法论上更需要强调的是整体论思路和先验论证的方法,前者为我们提供了具体问题分析的整体框架,后者则帮助我们更好地认清哲学论证与其他知识论证之间的重要区别。中国哲学研究应当从方法论高度重视分析方法的重要作用,由此重新建立中国哲学的问题