STIT 逻辑的可判定性研究

在逻辑学基础理论研究中，可判定性问题、复杂度问题和公理化问题是最为核心的三大问题。前两个问题主要关注能行性和效率，第三个问题与自动证明相关。这使得它们在人工智能以及计算机科学的其他实际应用领域中具有重要的理论意义。
STIT 逻辑在多个领域中都具有应用前景，包括人工智能、多智能体系统、博弈论等。本书稿主要研究的是与 STIT 逻辑相关的可判定性问题，证明了一系列可判定性结果，其中包括各种团体 STIT 逻辑的可判定性、STIT 逻辑与其他逻辑相结合所得到的逻辑的可判定性。书稿对STIT 逻辑的可判定性进行了系统性的探讨，通过研究 STIT 算子与其他算子（如时间算子、知识算子等）结合后逻辑的判定问题，扩展了以往研究仅关注 STIT 算子的局限性，也为逻辑学领域中的 STIT 逻辑研究提供了新的视角和方法。