【摘 要】
：
关于“现在”的时态逻辑的技术分析最早来源于Hans Kamp,他在发给Ar thur Prior的笔记中阐述了用二维语义解释“现在”算子,开辟了多维算子的研究。Kamp与Prior在一个月内进
论文部分内容阅读
关于“现在”的时态逻辑的技术分析最早来源于Hans Kamp,他在发给Ar thur Prior的笔记中阐述了用二维语义解释“现在”算子,开辟了多维算子的研究。Kamp与Prior在一个月内进行了频繁的交流后,Prior通过在混合时态逻辑语言中加入名字“?”表示“现在”的方式,提出了“现在”的混合时态逻辑。而Kamp继续使用二维语义研究“现在”算子在时态命题逻辑,以及时态谓词逻辑中的冗余性和公理系统的构建的问题。Patrick Blackburn在Prior的基础上,用满足算子取代全局算子重新构造了“现在”的混合时态逻辑的表格系统和公理系统,并且通过加入“Kamp-规则”,将逻辑有效和语境有效联系了起来,并分别用二维语义和指向语义证明了系统的完全性。本文对“现在”逻辑的研究进行了梳理,并重新证明了“现在”算子在时态命题逻辑中是冗余的。文章结构安排如下:引言:介绍研究背景及研究现状。第1章:简单介绍时态逻辑和混合时态逻辑第2章:简述Prior对“现在”这一问题的分析,以及他在“现在”的混合时态逻辑方面的工作。第3章:简述Blackburn对“现在”的混合时态逻辑中两种有效性的关联。第4章:简述“现在”算子在时态命题和谓词逻辑中的冗余问题,重新证明“现在”算子在时态命题逻辑中是冗余的。结论
其他文献
随着信息技术的快速发展,软件企业的经营和发展开始受到人们的关注。由于软件企业的产品特性,其研发过程即是生产过程,因此,研发对于软件企业来说至关重要。软件企业想要抓住行业发展机会就需要重视企业的研发活动,而企业研发离不开资金的投入,如何合理决策研发投入强度成为企业关注的问题。首先本文介绍了 X公司主要业务、经营现状和研发投入三个方面的基本情况,分析得出X公司作为专业实力较强的软件企业其研发投入强度也
家族企业作为一种古老而又普遍的企业组织形式,在世界各国的经济发展中都起到了不容忽视的作用。而家族企业中,一人拥有家族成员与企业员工的双重身份,决定了工作与家庭的关
先秦的“德治”之“德”并不仅仅指向现代意义上的“道德”,而具有更加深远的内涵。先秦“德治”思想已经预设了君与臣、民的绝对分隔,是通过君主的心性德行来发生的政治行为
随着二十一世纪经济技术飞速的发展,在人口密集的城市中心地带修建地铁工程是解决城市公共交通问题的行之有效的方式之一。由于地铁的规划、设计较晚,地铁区间隧道难免会从既有建筑物下面穿过。因此,地铁隧道施工过程中对既有建筑物造成的扰动影响程度的大小、是否会影响其安全是地铁隧道建设中的关键技术问题。本文将以实际工程长沙地铁2号线梅溪湖东站～望城坡站区间为背景,结合监测数据分析了双线隧道、土体和建筑物的受力变
语文教学的最终目的是,让学生在大脑中形成语言交际处理能力、实践语言理论知识、培养语言能力。有些人认为,我们能够在日常生活中用自己的母语交流满足基本的需求,而忽视了
伴随着沥青路面在隧道建设中的大量使用,沥青路面材料的阻燃技术愈发引起相关学者的重视。目前阻燃剂的应用多存在有毒、烟雾大和综合性价比低等特点,为应和无毒、少烟、高效和复配化的发展趋势,开发一种兼容阻燃、抑烟和使用性能高性价比溴系阻燃剂具有重要的意义和价值。同时目前对阻燃剂的研究多为宏观方面的性能对比,未考虑真实燃烧过程中特征与机理变化,本文在综合阻燃、抑烟和使用性能的基础上,对最佳掺量下DBDPE复
当今社会,随着经济的全球化和科技水平的不断提升,汽车产业的发展也获得了显著的提升。汽车产业的规模大、覆盖范围大、市场产品需求多,在国家经济的快速增长中起到关键性的
占有理论上分为直接占有与间接占有,但我国立法并没有作此区分。鉴于当前间接占有在司法实务中发挥着重要作用,本文意在提醒立法者应重新将间接占有纳入考虑范畴。现行《中华人民共和国物权法》(以下简称《物权法》)及司法解释没有确立间接占有制度。由于没有该制度的规定,使得观念交付等诸多制度的存在缺乏理论支撑,同时也限制了对间接占有人权利的保护。现行《物权法》虽然将占有独立成编,但并不能完全囊括占有的内容。第十
企业发展,人才是根本。人力资源的合理管理,显得尤为重要。薪酬激励机制是人力资源管理中的核心问题,也是人力资源管理的重要组成部分。实施科学严谨合理的薪酬方案,不仅可以对企业吸引、激励和留用人才起到决定性的作用,而且能够促进企业的发展,利润的增加。本文针对K食品生产企业职工薪酬激励优化研究,是基于薪酬激励的理论的基础上而进行的。本文由研究背景引出K食品生产企业职工薪酬激励优化研究的意义,通过将激励理论
浙江省的农村建设经过了“新农村阶段”和“美丽乡村阶段”,目前为打造“大景区”“大花园”的蓝图进一步走向纵深的“万村景区化阶段”。2017浙江省旅游局正式出台A级景区村