本研究使用合法及完整的插入表技术，证明 DEL 语言中事件模型的模型检查问题是 PSPACE 完全的，并证明了满足性问题是 NEXPTIME-complete 的。

Oct, 2013

利用动态认知逻辑（DEL）的多代理规划在处理非确定性、部分可观察性和任意知识嵌套方面具有广泛应用的行动形式主义中，我们通过一种新颖的语义方法达到可决定性的目标。我们展示了该框架具有可决定的特性，并研究了其他扩展的交换公理以实现更复杂的 DEL 的决定性。

Jul, 2023

介绍了一种更广泛的策略逻辑，用于在多代理并发游戏中推理策略，证明了其包括 CHP-SL，同时维护可决策模型检查问题。

Dec, 2011

本文针对知道该如何做的逻辑进行了研究，并提出了一种多代理版本的表格程序，证明了其完备性与可靠性。此外，该文还表明该逻辑的可满足性问题可以在 PSPACE 中得以解决。

Jul, 2023

该篇论文提出了扩展了传统认知逻辑的单智能体目标导向知识如何逻辑，该逻辑可以代表知道如何实现目标的知识，即存在一种策略，使得该智能体知道它能够确保达成目标。此外，本文还证明了该逻辑的合理性、完备性和可决定性，并提供了一个基于知道和知识如何的直观公理化方法。

May, 2017

研究不完美信息领域中策略逻辑的 SLii 扩展，并研究其模型检查问题，证明其限制为分层实例的模型检查是可判定的，应用此结果解决了分层信息下确定性策略的纳什均衡存在性可判定问题和分布式合理综合问题。

Mar, 2020

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

Feb, 2015

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

Jul, 2023

该研究将过渡系统用于计算命题公式的模型，证明了其适用于逻辑规划和 PC（ID）逻辑中，通过计算答案集表示的模型，提供了一种统一的视角，为不同命题形式开发的解决程序提供联系。

May, 2011

介绍了一种基于 Temporal Equilibrium Logic 的替代方法，用于有限 trace 的 Temporal Answer Set Programming，可实现多通 Answer Set Programming 系统，并结合时间运算符扩展输入语言，同时提供了时间建模语言。

Apr, 2018