该研究探讨了一个版本的线性时态逻辑，其命题片段是 Godel-Dummett 逻辑，并使用了两种自然语义学，一种是真值语义学，另一种是双关系语义学，证明了这些语义定义了相同的逻辑，并提出了决定语句有效性的算法以及一个用于 Godel 临时逻辑的演绎演算法，从而证明了所有的有效语句都能够用这个演算法证明。

Jun, 2023

本文研究了提供复合命题演绎的可能性，并通过引入几个扩展后的逻辑来分析是否需要将归谬法视为必要条件，得出了关于其存在（或不存在）的命题证明体系的结果，并确定了所有分段思维的计算复杂度。

Aug, 2008

本文介绍了新概念的偏见逻辑（Epistemic Syllogistic），并探讨了包含非平凡但自然表达式的认识偏见演绎法。作者还在本文中提出了这些逻辑的多个定理化，并证明了其完整性。

Jul, 2023

本文研究不确定性理论中的可能性理论、信念函数和不精确概率与模态逻辑之间的二元性质，提出了一种基于最小认知逻辑和波兰式逻辑的简化信念函数逻辑，并且给出了使用 Shafer 基本概率分配的语义。

Mar, 2023

该研究通过研究不完整理论的推理过程和机器学习的趋势来描述其对一致性的影响，其中包括不可证明的真实语句，实践中有效性的虚如其表，以及机器学习不完整理论的理论.

Mar, 2023

本文介绍了一种新的逻辑系统，它将经典认知领域中的相信和知识概念与一个概念证据相结合，从而满足了直觉原则 ` 证据导致相信和知识 '；该文的方法则是将这个新系统与内部真实性的 $S5$ 风格原理相结合，产生了一个模态系统 S5 和预示依存性的结合逻辑，使用直接的命题形式来模拟置信和知识。

Apr, 2023

本文认为逻辑语义学未能区分本体概念和逻辑概念等两种基本不同的概念类型，指出需要将词汇语义学和组合语义学融合为一个一致的框架，并嵌入一个强类型的本体论中以反映我们的世界常识认知，从而解决自然语言语义学中的一些挑战。

Aug, 2018

该论文描述了一种扩展一阶逻辑的方法，使方案更加容易修改，并引入了一个保护机制来保证公式的正确性，同时将该方案应用于四个不同问题领域的知识表示中。

Feb, 2022

通过对阿拉伯语的基本原理进行研究，我们证明现代逻辑学中关于自然语言词汇用途、语法结构以及符号的理论与阿拉伯语存在矛盾，并提出了一种实用的方法来解决 3CNF 公式的产生问题，相关证据支持我们的论点。

Oct, 2023

本文介绍了关于稳定模型语义的一种另类的认识论方法，探讨了稳定模型语义可以完全定义为 Kripke-Kleene 语义的扩展，证明了封闭世界假设可以看作是要累加到 Kripke-Kleene 语义上的一个 “虚假” 的附加来源。

Mar, 2004