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