STIT逻辑的能力片段初探

发布时间：2021-09-15 11:06

　　STIT理论作为刻画主体能动性的一类哲学逻辑,近来受到了多主体系统研究者们的关注。由于群体STIT逻辑被证明不可判定且无法有穷公理化,相关研究者们转而寻找其中可判定且可有穷公理化的片段。本文限制公式的定义,将目标限定在形如3[a:cstit]φ及3[G:cstit]φ的能力公式上,分别称之为个体STIT逻辑与群体STIT逻辑的能力片段。可以证明,如果只考虑STIT逻辑的能力片段,每个STIT模型都存在一个等价的邻域模型。此外,个体STIT逻辑与群体STIT逻辑的能力片段都是可有穷公理化的。 

【文章来源】：逻辑学研究. 2019,12(05)CSSCI

【文章页数】：27 页

【参考文献】：
博士论文
[1]Stit逻辑的判定问题[D]. 张炎.武汉大学 2015



本文编号：3395965