第一章  哲学背景与STIT逻辑简介
  一  哲学背景：主事性的模态逻辑进路
    (一)主事性的界定
    (二)主事性的不同研究视角
    (三)模态逻辑进路
    (四)小结
  二  STIT逻辑简介
    (一)STIT、逻辑的句法和语义
    (二)繁忙选择者与不做的刻画
    (三)不同的STIT系统
    (四)STIT逻辑在不同领域中的应用
    (五)近年来的发展
第二章  基本理论的拓展与修正
  一  分支时空逻辑的引入
    (一)从分支时间到时空理论
    (二)分支时空逻辑简介
    (三)导因的刻画
  二  事件因素的添加
    (一)添加事件因素的句法构造
    (二)包含选择名字的STIT逻辑
    (三)行动普型理论
  三  连续行动的刻画
    (一)已有的刻画方案
    (二)连续行动的界定
    (三)动词体的分类
    (四)连续行动的分类与逻辑刻画
    (五)存在的问题及未来的工作
  四  内涵因素的添加
    (一)跨界同一问题与内涵的引入
    (二)后续的发展
第三章  与动态逻辑的交叉
  一  STIT与ETL的比较
    (一)ETL简介
    (二)ETL与RSL的等价性
  二  动态逻辑对STIT逻辑的重构与改写
    (一)对选择的刻画
    (二)STIT逻辑与PDL的比较与融合
    (三)形式工作的构建
第四章  STIT逻辑在其他领域的应用
  一  STIT逻辑在言语行为理论中的应用
    (一)双时间参数理论
    (二)改进理论中的基本要素
    (三)分支时空理论基础上的双时间参数
  二  STIT逻辑在道义逻辑中的应用
    (一)道义逻辑的两个分支
    (二)已有理论及其问题
    (三)STIT逻辑对应是与应做的刻画
    (四)未来的工作
结语
附录1  以言行事行为理论简介
  一  以言行事行为理论的初创阶段
  二  以言行事行为理论的发展阶段
  三  以言行事行为理论的完善阶段
附录2  以言行事行为的形式化工作
附录3  刻画不同应当算子的STIT逻辑
  一  STIT逻辑及其在道义逻辑中的应用
  二  系统的构建与解析
  三  未解决的问题
参考文献