STIT是英文“see to it that”的縮寫,可譯為“確定、確保”。STIT邏輯是一種主事性(agency)的邏輯,其將主事性刻畫為行動者與事件(結果)之間的二元關係,即行動者確保(或者確定)某一事件(結果)出現的這種關係。如果將行動(actions)理解為一種具有主事性的事件(events),那麼就可以說主事性將行動從眾多事件類別中區分了出來,因此STIT邏輯也被稱為一種行動的邏輯。作為一本介紹STIT邏輯的書,本書詳述了STIT邏輯中的基礎理論及其擴張、STIT邏輯與其他行動理論的互動以及STIT邏輯的應用等問題。