【摘 要】
：
本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。
【机 构】
：
SchoolofMathematicsandStatistics
【基金项目】
：
The research is supported by Taishan University Starting Grant“Studies on Algebraic Sahlqvist Theory”,the Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151).
论文部分内容阅读
本文给出含例邻域逻辑的萨奎斯特对应理论。这种逻辑可以讨论一个可能世界的邻域的存在性信息,是关系语义和邻域语义的一种混合。增加的表达力和描述邻域函数的关系特征使我们可以在框架层面讨论这种语言可以定义什么性质,是否可以超越邻域语义的KW片段。我们给出对应定理的两个证明。第一个证明直接使用标准翻译和极小赋值的技术,第二个证明通过双模态翻译将含例邻域逻辑的对应问题转化为经典克里普克语义的双模态逻辑。
其他文献
关键词：偶像崇拜;积极心理品质;青少年 中图分类号：G44 文献标识码：B 文章编号：1671-2684（2021）25-0055-03 【活动理念】 偶像崇拜是青少年社会化的一种方式，通过偶像崇拜习得社会生活所需的态度和行为。观察学习理论指出，在观察学习过程中，人们获得了示范活动的象征性表象，并引导适当的操作。埃里克森将青少年期定义为一个人形成自我同一性的关键期，并且认为青少年都要经历
关键词：逆境;挫折;理性分析 中图分类号：G44 文献标识码：B 文章编号：1671-2684（2021）25-0052-03 【活动背景】 逆境与挫折对刚进入高中学习的学生来说，是一个经常出现的话题。很多学生进入高中才开始住宿生活，离开了父母和初中时建立的人际关系，重新建立人际关系是一大问题;高中和初中相比，难度突然加大的课业压力也是一大问题。 对于这些突然到来的逆境和挫折，学生可能
A New Theory of the Historical Development of Logic in the Pre-Qin Era by Zeng Zhaoshi曾昭式, Institute of Logic and Cognition, Sun Yat-sen University, is an ex
小英是一名小学五年级女生,父母很早便已离婚,她的监护权归爸爸.爸爸在小英两岁时将她交由朋友(养母)抚养,养母家经济条件良好,小英就读于当地贵族学校,母女感情深厚.爸爸入
摘要：积极心理学强调用开放和宽容的态度看待每一个人，并认为每个人本身就具有内在的积极力量，任何人都可以充分认识自己的优势与不足，最大限度地挖掘自身的优势，培养积极的心理品质，激发自身的积极力量，克服成长过程中的挫折和困难，从而获得更加幸福和有意义的人生。心理韧性是个体在面对内外压力时，能够合理对内外资源进行整合，以更好地克服困难、适应环境过程中表现出的一种心理潜能。本研究从积极心理学的视角出发，从
我国建筑行业在未来的发展过程中,越来越注重绿色化建设的理念,因为随着时代的发展,绿色化施工理念逐渐在建筑行业建设中扎根,并且国内对绿色施工理念的重视程度也在不断地提
羊小反刍兽疫是养羊过程中常见的一种疾病,且具有很高的发病率,引发的主要原因为病毒,发病后会出现腹泻、发热以及口炎等症状.发病后,如果没有及时地控制住,会很快感染整个羊
摘要：基于初中生的心理特点，结合学校心理健康教育工作的实际情况，根据“绘画疗法”的理论和特点，构建和实施了“绘画心理”校本课程。该课程采用“四步六环”的模式，以“问—想—做—评”四大步骤为基础，六个环节紧紧相扣，逐层递进，实效明显。实践表明，“绘画心理”课程为初中心理健康教育课堂教学提供了有益的尝试，也多有借鉴意义。 关键词：绘画心理;心理健康教育;校本课程;初中 中图分类号：G44 文献标
摘要：为探究生物课堂中生涯规划教育渗透的现状和可行途径，以贵州省六盘水市第一中学师生为研究对象，采用问卷调查的方法，调查了学校生物教学中生涯规划教育渗透的现状。调查结果表明，学校生物教师很少在生物教学中渗透生涯规划知识。为此，基于问卷调查结果，对高中生物教学中生涯规划教育渗透的教学模式进行探索，旨在帮助学生做好生涯规划设计，激发学生对生物的学习兴趣，利于学生对相关专业和高校进行选择。 关键词：高
随着经济的发展和社会的进步,我国的建筑行业发展迅速.人们对居住房屋质量的要求越来越高,一些常见的房屋建筑工程质量问题使得居住者备受困扰,影响了人们的正常工作和生活.