邻域模型论文

STIT逻辑的能力片段初探何键枫摘要：STIT理论作为刻画主体能动性的一类哲学逻辑，近来受到了多主体系统研究者们的关注。由于群体STIT逻辑被证明不可判定且无法有穷公理化，相关...