本书主要研究的是与STIT逻辑相关的可判定性问题，证明了一系列可判定性结果，其中包括各种团体STIT逻辑的可判定性、STIT逻辑与其他逻辑相结合所得到的逻辑的可判定性。书中对STIT逻辑的可判定性进行了系统性的探讨，通过研究STIT算子与其他算子（如时间算子、知识算子等）结合后逻辑的判定问题，扩展了以往研究仅关注STIT算子的局限性，也为逻辑学领域中的STIT逻辑研究提供了新的视角和方法。