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