本書主要研究的是與STIT邏輯相關的可判定性問題，證明了一系列可判定性結果，其中包括各種團體STIT邏輯的可判定性、STIT邏輯與其他邏輯相結合所得到的邏輯的可判定性。書中對STIT邏輯的可判定性進行了系統(tǒng)性的探討，通過研究STIT算子與其他算子（如時間算子、知識算子等）結合后邏輯的判定問題，擴展了以往研究僅關注STIT算子的局限性，也為邏輯學領域中的STIT邏輯研究提供了新的視角和方法。