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