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