STIT逻辑的发展与应用

作者：贾青主事性行动理论stit逻辑

摘要：STIT逻辑是以模态逻辑为工具来研究主事性的逻辑分支。除主事性的形式刻画以及系统构建外,STIT逻辑还研究了其他很多与主事性相关的问题,例如繁忙选择者问题、如何刻画“不做”以及主事性如何体现在言语行为或者道义语句的刻画中,等等。本文在简述STIT逻辑对主事性的不同刻画方法的基础上,分别说明了STIT逻辑对上述问题的分析和刻画。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社