STIT逻辑研究

**章 哲学背景与STIT逻辑简介
一 哲学背景：主事性的模态逻辑进路
（一）主事性的界定
（二）主事性的不同研究视角
（三）模态逻辑进路
（四）小结
二 STIT逻辑简介
（一）STIT逻辑的句法和语义
（二）繁忙选择者与不做的刻画
（三）不同的STIT系统
（四）STIT逻辑在不同领域中的应用
（五）近年来的发展

第二章 基本理论的拓展与修正
一 分支时空逻辑的引入
（一）从分支时间到时空理论
（二）分支时空逻辑简介
（三）导因的刻画
二 事件因素的添加
（一）添加事件因素的句法构造
（二）包含选择名字的STIT逻辑
（三）行动普型理论
三 连续行动的刻画
（一）已有的刻画方案
（二）连续行动的界定
（三）动词体的分类
（四）连续行动的分类与逻辑刻画
（五）存在的问题及未来的工作
四 内涵因素的添加
（一）跨界同一问题与内涵的引入
（二）后续的发展

第三章 与动态逻辑的交叉
一 STIT与ETL的比较
（一）ETL简介
（二）ETL与RSL的等价性
二 动态逻辑对STIT逻辑的重构与改写
（一）对选择的刻画
（二）STIT逻辑与PDL的比较与融合
（三）形式工作的构建

第四章 STIT逻辑在其他领域的应用
一 STIT逻辑在言语行为理论中的应用
（一）双时间参数理论
（二）改进理论中的基本要素
（三）分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
（一）道义逻辑的两个分支
（二）已有理论及其问题
（三）STIT逻辑对应是与应做的刻画
（四）未来的工作

结语
附录1 以言行事行为理论简介
一 以言行事行为理论的初创阶段
二 以言行事行为理论的发展阶段
三 以言行事行为理论的完善阶段
附录2 以言行事行为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献