STIT理論作為刻畫主體能動性的一類哲學邏輯,近來受到了多主體系統(tǒng)研究者們的關注。由于群體STIT邏輯被證明不可判定且無法有窮公理化,相關研究者們轉(zhuǎn)而尋找其中可判定且可有窮公理化的片段。本文限制公式的定義,將目標限定在形如3[a:cstit]φ及3[G:cstit]φ的能力公式上,分別稱之為個體STIT邏輯與群體STIT邏輯的能力片段�？梢宰C明,如果只考慮STIT邏輯的能力片段,每個STIT模型都存在一個等價的鄰域模型。此外,個體STIT邏輯與群體STIT邏輯的能力片段都是可有窮公理化的。 

【文章來源】：邏輯學研究. 2019,12(05)CSSCI

【文章頁數(shù)】：27 頁

【參考文獻】：
博士論文
[1]Stit邏輯的判定問題[D]. 張炎.武漢大學 2015



本文編號：3395965