STIT是英文“see to it that”的缩写,可译为“确定、确保”。STIT逻辑是一种主事性(agency)的逻辑,其将主事性刻画为行动者与事件(结果)之间的二元关系,即行动者确保(或者确定)某一事件(结果)出现的这种关系。如果将行动(actions)理解为一种具有主事性的事件(events),那么就可以说主事性将行动从众多事件类别中区分了出来,因此STIT逻辑也被称为一种行动的逻辑。作为一本介绍STIT逻辑的书,本书详述了STIT逻辑中的基础理论及其扩张、STIT逻辑与其他行动理论的互动以及STIT逻辑的应用等问题。