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

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

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

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



本文編號(hào)：3395965