【摘 要】
：
在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言LU、时态语言LT、混合语言LH,LH(@)中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的.“,”In the present paper, we apply the methodology in Balbiani and Tinchev(2016) to show that for the modal language with universal modalit
论文部分内容阅读
在本文中,我们使用Balbiani和Tinchev的稳定类方法证明在加全称模态词的模态语言LU、时态语言LT、混合语言LH,LH(@)中,Chagrova定理成立,即一阶公式相对于特定框架类的模态/时态/混合可定义性问题是不可判定的.“,”In the present paper, we apply the methodology in Balbiani and Tinchev(2016) to show that for the modal language with universal modality LU , tense language LT , hybrid languages LH, LH(@), Chagrova\'s theorem holds that the modal/tense/hybrid definability of first-order sentences with respect to certain classes of frames is undecidable, by using similar techniques as stable classes of Kripke frames.
其他文献
法学的实践性实际上是与法学的科学性联系在一起的.在历史上,有学者(比如冯·基尔希曼)认为,法学作为"科学"从理论上说是无价值的,它并非"科学".应当看到,法学是一门以"问题-决定"为中心、以某个特定的在历史上形成的实在法秩序为基础、采取诠释-评价的论证方式来探求法律问题之答案(解决法律问题)的(实践)规范性诠释科学,它有自己的知识与真理的鉴别标准,法学"真理"的获得是从"意见"不断向"知识"或"真理"的梯度上升过程.在此过程中,法学(法教义学)必须具备一些学科规准和条件,从而确立其作为一门独立科学的性质.
近年来,在有关当下著作权立法与司法的讨论中,学者们开始发掘我国近代著作权制度资源,或主张尊重法律传统,在法律实践中延续我国《著作权法》建立之初的观念选择;①或主张汲取历史经验,从近代立法中获取启示.②这自然是很可喜的现象.但这些成果对我国近代著作权“制度初心”的解读上,却得出了截然相反的结论.一种观点认为,《大清著作权律》采用了英美法系的立法模式③;另一观点则认为“在对两大法系的第一次选择过程中,我国选择了来自欧洲大陆的作者权制度,而没有选择英美的版权制度.”④这两种看法都隐含了一个预设:近代中国的立法者
党的十九届六中全会提出了“全党要牢记中国共产党是什么、要干什么”这个根本问题,在全党全国各族人民奋力迈向第二个百年奋斗目标新的伟大征程中,只有回答好这一时代之问、人民之问,我们党才能永葆马克思主义政党本色,把党和人民的事业不断推向前进.
在中国共产党的历史上,李大钊的名字响彻寰宇.李大钊是中国最早的马克思主义信仰者,他毕其一生致力于马克思主义信仰的研究、传播和践行,是20世纪初中国的播火者,对马克思主义中国化和中国共产党的建立作出了不可磨灭的贡献.李大钊对马克思主义坚定的信仰至今仍然闪烁着智慧的光芒.在建党百年之际,重温李大钊的马克思主义信仰,对于巩固马克思主义主导地位,继续推进马克思主义中国化,增强共产党人的理想信念具有重要的意义.
非精确概率的概念可视为经典概率的一种泛化.诸多非精确概率的理论和模型已被提出,以更恰当地表达单主体决策情形下的不确定性.在本文中,我集中探讨了如何能将这些(非精确)理论模型纳入传统的博弈论框架之中.本着可理性化的精神要义,我提出了三个新的博弈解概念,分别是极大极小可理性化、E-可理性化和极大可理性化.它们意在表达以下一种理念,即每个参与者都将其他参与者建模为使用极大极小、E-可接受性或极大性作为决策规则的决策者.本文还探究了这些博弈解概念的存在条件,以及与可理性化概念的关系等性质.“,”The notio
历史虚无主义是当前意识形态领域异常活跃、值得高度警惕的错误社会思潮.党的十八大以来,习近平总书记高度重视对历史虚无主义错误论调的批判,形成了习近平总书记关于批判历史虚无主义的重要论述.这些重要论述的核心要义包涵坚持唯物史观,批判历史虚无主义的唯心史观本质;坚持整体性历史观,反对割裂历史发展的连续性;坚持人民史观,反对英雄史观;坚持传承和弘扬优秀文化传统,批判和抵制“全盘西化”;坚持挖掘历史价值,反对“历史虚无论”等五个方面.建设具有强大凝聚力和引领力的社会主义意识形态,必须深入学习和领会习近平总书记关于批
河北省的产业扶贫虽然取得了良好成效,但是仍然存在一些问题和不足制约产业扶贫项目的可持续发展.通过提升项目优势、激发贫困户内生发展动力、健全金融支撑机制、完善生态保护机制、建立返贫机制等措施,研究和探索河北省产业扶贫的可持续发展路径,对于巩固扩大脱贫成果、建立健全防贫长效机制、夯实贫困地区乡村振兴和长远发展基础具有重要意义.
实现共同富裕是一直共产党人的奋斗目标,也是社会主义本质特征.毛泽东共同富裕思想是在借鉴和吸收中华优秀传统文化、继承和发展马克思主义相关理论基础上形成的.在新时代,要深刻把握毛泽东共同富裕思想的丰富内涵,全面贯彻落实共享发展理念,坚持以人民对美好生活的向往作为奋斗目标,坚定走共同富裕道路,提高人民的收入水平,充分发挥社会主义优越性,使广大人民拥有更多幸福感、获得感和满足感.
为了了解中学生人际关系、自尊以及手机成瘾的关系,采用罗森伯格(Rosenberg)编制的自尊量表中文版、莱翁(Leung)编制的手机成瘾量表以及中学生人际关系问卷,对420名中学生进行了测量以及数据收集.结果发现:(1)男、女生的自尊水平存在显著差异且男生的自尊水平显著高于女生.(2)中学生人际关系负向预测手机成瘾,人际关系越良好,其手机成瘾可能性越低;人际关系正向预测自尊,人际关系越良好,其自尊水平越高;自尊负向预测手机成瘾,自尊水平越低,越有可能导致手机成瘾.(3)自尊在人际关系与手机成瘾的关系中起部
保护利用好红色资源是革命老区经济社会持续发展的重要途径.石家庄市井陉县是有着光荣革命传统的老区县,是太行革命老区的重要组成部分,是百团大战的主战场,有着丰富的红色资源.近年来,石家庄市井陉县充分挖掘红色资源,在推动文化、旅游融合发展和利用红色资源铸魂育人方面取得了明显成效,但也存在着资源开发参与性不强、价值内涵挖掘不深入、运行机制不健全等问题.因此,加强井陉县红色资源的保护和利用,必须充分发挥红色资源优势,整合红色资源融入地区文化,不断完善工作机制,推进红色资源的开发保护.