时态逻辑属于《中国图书分类法》中的四级类目，该分类相关的期刊文献有14篇，学位文献有12篇等，时态逻辑的主要作者有冯彦波、刘春杰、刘本学，时态逻辑的主要机构有中南财经政法大学哲学院、中山大学逻辑与认知研究所、丹东市监察局等。
统计的文献类型来源于 期刊论文、 会议论文
1.[期刊]
摘要： 决定论(Determinism)是关于事物因果性、必然性和规律性的哲学理论,在哲学理论体系中占有重要的地位。时态逻辑是研究包含时间因素的命题及推理的哲学逻辑的...
2.[期刊]
摘要： 时间——因果逻辑是现代过辑中时间逻辑的一个基本理论，即因果关系的逻辑问题。在“时间与因果解释”中，阐述了因果关系的时间条件、顺序、间隔；在“因果过程的时间模型...
3.[期刊]
摘要： 本文探讨了时态逻辑中简单时态命题的形式、对当关系以及依据对当关系所进行的直接推理。
4.[期刊]
摘要： 近年来,大规模军事演习成为国际社会新的焦点与亮点。然而,禁止武力作为国际法基本原则之一,已成为当代国际法的一项强行规范,它是维持国际和平与安全的重要保障,面对...
5.[期刊]
摘要： 国家利益是现代民族国家对外行为的内在决定性因素,对国家利益的维护和追求是国家的基本对外职能.如何认识和判断国家利益,深刻影响着一个国家对本国利益的维护和拓展....
6.[期刊]
摘要： 现实世界中纷繁杂乱的事物皆以因果律发展变化着,而普通逻辑学中的逻辑蕴涵关系并不是因果律,这才导致了逻辑悖论.只有因果律才能彻底解决逻辑悖论问题.
7.[期刊]
摘要： "恐怖型"劫持人质是恐怖分子实施恐怖活动的一个主要手段,其危害性极大.尽管此类事件在我国发生很少,但政府应未雨绸缪,借鉴他国处置此类事件的经验与教训,总结出适...
8.[期刊]
摘要： 本文通过对时间量度内在逻辑结构的剖析,阐释了时间的本质及其属性,提出了对时间的新认识,并简要评价了牛顿、马赫和爱因斯坦的时间观.
9.[期刊]
摘要： "中国威胁论"是现在中外关系天空上的一团阴霾,其来源也长、市场也广,危害非浅,甚至可能引发冲突和战争.我们应该积极加以化解,以求中国与其他国家互补发展,达到双...
10.[期刊]
摘要： 时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支.它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事...
11.[期刊]
摘要： 自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展.主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑...
12.[期刊]
摘要： 时态逻辑模型检测是自动验证最重要的方法之一.近年来,模型检测技术与人工智能的结合,成为一个研究的热点.具体地,就是扩充或者修改模型检测的时态逻辑,使之能够刻画...
13.[期刊]
摘要： 命题时态逻辑PTL是一个可广泛应用于人工智能的逻辑,其特点是只有表达未来的时态算子.它刻画了人工智能研究中往往只需要描述未来状态,而不必关注过去的性质.PTL...
14.[期刊]
摘要： 义务的时效性特点及道义悖论的存在,使构建时态道义逻辑系统成为道义逻辑研究的新趋向.通过对国外不同类型时态道义逻辑系统的比较与分析,提出一种新的解悖方案:构建弱...
学术研究
西南大学学报（社会科学版）
