|
|||||
|
|
| 在有序结构上刻画βP的逻辑CSSCI | |
| 引用本文： | 王克诩,赵希顺.在有序结构上刻画βP的逻辑CSSCI[J].逻辑学研究,2020(3):1-18. |
| 作者姓名： | 王克诩 赵希顺 |
| 作者单位： | 1.中山大学逻辑与认知研究所;;2.中山大学哲学系; |
| 基金项目： | supported by the project of“National Key Research Institutes for the Humanities and Social Sciences”under grant number 19JJD720002。 |
| 摘 要： | 我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fraïssé博弈,并说明在最一般的情况下,也就是在全体有穷模型之上,该逻辑对βP的刻画并不成立。 |
| 关 键 词： | 非确定性 有序结构 量词 表达力 不动点 IFP 逻辑 刻画 |
| 本文献已被 维普 等数据库收录！ | |