基于互模拟和有界互模拟的模态逻辑模型之间的关系

为了探索Kripke模型、非良基集合和知识结构之间的联系,引入了有界互模拟的概念。首先,在Kripke模型上定义了互模拟与有界互模拟,并给出了模态逻辑的非良基模型定义和知识结构模型定义,证明后两类模型分别表达了Kripke模型的互模拟类和有界互模拟类;其次,证明了有界互模拟怎样被无穷模态逻辑的特定部分所刻画和通过Ehrenfeucht游戏来刻画;最后,给出了一些学者在不同的情景下证明的一些结果,使用互模拟和有界互模拟概念证明它们之间的关系。     

基于互模拟的模态逻辑与非良基集合论之间的关系

首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里普克模型类;接着,从模型的视角讨论集合上的互模拟与模态等价的关系;最后,运用互模拟和集合翻译等概念讨论非良基集合与模态逻辑的关系,证明:"一个集合论公式在集合上的互模拟下是不变的当且仅当它等价于一个模态公式的标准集合论翻译"。     

互模拟的一些基本性质

由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生,本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。因此,本文首先简单介绍互模拟产生的原因及作用;其次,给出两个加标转换系统之间的互模拟定义,并说明由此定义如何得到计算机科学中、模态逻辑中以及集合论中互模拟的定义;最后证明在这种定义下,互模拟的一些基本性质。     

描述逻辑EVL模拟关系及其性质

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.     

标号迁移系统的互模拟关系及其性质

以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示了互模拟概念的本质,为其在形式化分析及验证技术中的应用提供了基础。     

走进模态逻辑的互模拟

描述两个模型的模态等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。在模态逻辑中,互模拟沿着同态-强同态-有界态射-互模拟的轨迹而产生。在无穷模态语言的背景下或在像有穷的克里普克模型上,两个模型模态等价当且仅当它们是互模拟的。今天,互模拟在模态逻辑、集合论和计算机科学等领域中得到广泛的应用,显示了互模拟强大的理论价值和实践价值。     

MALC模型间互模拟的代数结构

文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。     

走向模型论的模态逻辑

增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理.由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念.因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数.我们把讨论各种模型论逻辑的方式转移到模态方面.     

同构、P-态射、互模拟与模态等价性

结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系：同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,对框架等价性也给予了一定的研究,得出结论是：同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的。     

一种自动验证网络安全协议的互模拟方法

为了解决进程接收具体信息的输入所带来的无穷种迁移问题,采用一种称为"符号化"的方法,提出了进程符号环境和符号化和格局标号迁移语义,为Spi演算设计了符号互模拟关系—符号Reded互模拟.结果表明:该符号互模拟关系对传统的互模拟关系是可靠的,符号化的标号转移语义将进程无穷输入导致的迁移限期为有穷种迁移.因此使得基于该关系的安全协议自动验证算法得以实现.     

互联网络与高校思想政治工作

如何运用网络技术拓展高校思想政治工作的空间，是高校思想政治工作面临的新课题，高校思想政治工作要坚持正确的舆论导向，筑起自己的网络阵地，发挥网络宣传教育功能，防范网络负面侵害提高高校思想政治工作队伍的网络素质。     

作文与生活、作文与实践的教学谈

新课标下的作文教学很注重学生表现内容的真实性和表达情感的真切性,但是不管是内容真实,还是情感真切,都要学生注重实践和现实感。笔者认为,这是对前一时期表现的作文弄虚作假的现象进行反思之后所做出的调整。有些学生甚至还不知道自己写的话本身所蕴含的真正意义,只是这样写就好像能提高作文的思想境界,就能得高分。而不管这些话该不该在这篇文章中出现。     

高校历史文化资源与立德树人的内在逻辑及其落实路径探析

高校历史文化资源指高校在其历史发展过程中创造或传承的物质文化资源和精神文化资源的总和,它所包含的历史事件、历史名人、思想文化以及地域文化资源等,成为高校独特的文化资本,不仅蕴含了高校发展的文化精髓,而且是落实立德树人根本任务的活水源头。通过深度挖掘高校历史文化资源、建立健全高校历史名人档案、提炼大学精神、汲取地域历史文化资源以及建立历史文化育人长效机制等措施,充分发挥高校历史文化资源的"以史育人、以德树人、以文化人"的综合价值。     

Players and thinkers and learners

The stronghold that games have on our society has made it imperative that educators understand the impact that video games can have. Owens (2012) presented two frames for how the press discussed the popular game Spore, which incorporates elements of science topics. One frame suggested that the game teaches children about intelligent design, while the other implied the game merely made students excited about science topics. While this debate is nothing new, having foundations in several theoretical perspectives; educators must identify their own perceptions of video games and how even commercial games can be used as tools for teaching.     

影响与融合:女性主义与后殖民主义

女性主义和后殖民主义之间相互影响并相互借鉴,它们在理论和实践上有不少共同之处:都源于政治实践运动;都是一种政治文化批评而非纯学理式的文学批评;同属于后现代主义思潮,深受解构主义的影响,具有反权威、去中心的颠覆性.女性主义和后殖民主义的相互影响与融合,对20世纪西方文论的发展起到了促进作用.     

酒与文学艺术

在文学艺术的审美创造过程中,酒与文学结下了不解之缘。本文借用精神分析学的理论,探析了酒在文学艺术创作中的作用,认为酒是激发文学艺术家进入创作境界的触媒,但真正作品的形成离不开文学艺术家对文学创作规律的娴熟领会与运用。     

科学技术与政治

政治哲学从总体上不是空虚的概念,必须与时代的方式、存在方式。与思想文化相关联。而现代的时代,是科学技术的时代,不能回避科学技术对人的政治生活方式产生的影响。这是必须正视的问题。     

浅说“有时”和“时而”

有时和时而都是时间副词,且都属于不定时时间副词的类别,在语义上它们都可以表示某种动作、行为或状态在某段时间可以进行和发生,用法上既有相同之处,又有许多不同之处。     

“微课”与高校思政课革新:创新·开放·融合·共享

在思政课教学中有效运用和发挥"微课"的独特优势,以"创新·开放·融合·共享"理念来促进高校思政课教学方式的革新,有助于激发和满足大学生学习思政课的学习热情和学习需求,从而提升高校思想政治理论课教育的吸引力和实效性。