STIT是英文“see to it that”的縮寫(xiě)，可譯為“確定、確�！薄�STIT邏輯是一種主事性(agency)的邏輯，其將主事性刻畫(huà)為行動(dòng)者與事件(結(jié)果)之間的二元關(guān)系，即行動(dòng)者確保(或者確定)某一事件(結(jié)果)出現(xiàn)的這種關(guān)系。如果將行動(dòng)(actions)理解為一種具有主事性的事件(events)，那么就可以說(shuō)主事性將行動(dòng)從眾多事件類(lèi)別中區(qū)分了出來(lái)，因此STIT邏輯也被稱為一種行動(dòng)的邏輯。作為一本介紹STIT邏輯的書(shū)，本書(shū)詳述了STIT邏輯中的基礎(chǔ)理論及其擴(kuò)張、STIT邏輯與其他行動(dòng)理論的互動(dòng)以及STIT邏輯的應(yīng)用等問(wèn)題。