我們在膨脹不動點(diǎn)邏輯IFP的基礎(chǔ)上,加入一種帶有（多重）對數(shù)上界的新二階量詞,并且證明了,在有序結(jié)構(gòu)上我們的新邏輯?^logωIFP刻畫受限非確定性復(fù)雜類βP。為了研究該邏輯的表達(dá)力,我們也設(shè)計(jì)了一種新的Ehrenfeucht-Fra?ssé博弈,并說明在最一般的情況下,也就是在全體有窮模型之上,該邏輯對βP的刻畫并不成立。 

【文章來源】：邏輯學(xué)研究. 2020,13(03)CSSCI

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


本文編號：3256412