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

Mar, 2004

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

Jun, 2023

本文探讨了命题理论在答案集语义下的一个性质（称为 Equilibrium Logic），即任何理论都可以重新表述为一个具有强等价性的模态逻辑规划，可能具有头部否定。我们提供了两个不同的证明：一个涉及语法变换，另一个从中间逻辑的反例开始构建程序。

Jan, 2007

本文提出一种 Peirce 存在图的扩展，以提供 Quantified Equilibrium Logic（QEL）表达式的图表表示。使用这种形式化方法，逻辑连接词被圆圈和正方形等区域所代替，量化变量则用 “身份” 线表示。虽然表达能力和 QEL 一样，但新的表示方法可用于说明或教育目的。

Sep, 2016

本文介绍了基于水平映射的概念性新方法，可提供逻辑程序不同语义的统一特征。通过给出一些主要语义的新特征，更特别是对于确定性程序的最小模型语义，适合语义，和良基语义的统一特征，我们将展示我们的方法。同时提供了弱完美模型语义的新特征。

Oct, 2002

通过稳定模型语义重新审视逻辑编程在约束满足问题中的角色定义，提出一种函数符号被消除的新型逻辑编程系统，基于约束来描述问题的解决方案。该方法具有良好的应用范围、有力的计算算法和新型编程方法。

Sep, 1998

本文针对 Temporal Equilibrium Logic（TEL）提供了一种系统的复杂性分析方法，可以检查 TEL 公式的时间均衡模型的存在性，并通过分析不同的 TEL 公式子类的复杂性，确定了可处理和不可处理的片段。

Feb, 2015

提出了一种用于计算逻辑程序稳定模型语义的算法，强调使用有效的实现技术，特别地，提出了一种展望的实现和一种通过最小化搜索空间来产生良好的启发式方法。结果表明，稳定模型语义的逻辑程序具有更紧凑的逻辑程序表示，因此在某些问题上比命题逻辑优越。

May, 2000

稳定模型与变量的循环公式的关系，广义化循环公式至包括非零多项联结程序和任意一阶句子，并通过扩展逻辑程序的语法允许明确量词，将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类，能在不依赖唯一名字和域封闭性假设的情况下处理非单调推理，同时由于受限的语法而产生更简洁的循环公式。此外，我们还展示了某些句法条件，使得扩展程序的查询回答可以简化为一阶逻辑的蕴涵检查，为使用一阶定理证明器推理非 Herbrand 稳定模型提供了一种途径。

Jul, 2023

本文提出了一种多值扩展的逻辑程序，基于可靠模型语义，其中模型中的每个真实原子都与一组证明关联，在一个证明树的集合中类似，我们将证明捕捉到一个真值的代数中，该代数具有三个内部操作：加号表示公式的替代证明，可交换乘积表示导致的联合交互以及非交换积表示证明构造器。使用这种多值语义，我们得到了标准（非因果）逻辑程序的语法证明树与模型中每个真实原子的解释之间的一一对应关系，并且由于这种代数特征，我们可以检测到获得的证明的冗余性和相关性。我们还确定了此代数的基于格的特征，定义了直接后果算子，证明了其连续性，并证明其最小修复点可以在有限次迭代后计算。最后，我们通过引入类似于 Gelfond 和 Lifschitz 的程序削减的变换来定义因果稳定模型的概念。

Dec, 2013