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