在有序结构上刻画βP的逻辑

作     者：王克诩 赵希顺 Kexu Wang;Xishun Zhao

作者机构：中山大学逻辑与认知研究所 中山大学哲学系 

基　　金：supported by the project of“National Key Research Institutes for the Humanities and Social Sciences”under grant number 19JJD720002 

出 版 物：《逻辑学研究》 (Studies in Logic)

年 卷 期：2020年第13卷第3期

页      码：1-18页

摘      要：我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的表达力,我们也设计了一种新的Ehrenfeucht-Fraïssé博弈,并说明在最一般的情况下,也就是在全体有穷模型之上,该逻辑对βP的刻画并不成立。

主 题 词：非确定性 有序结构 量词 表达力 不动点 IFP 逻辑 刻画 

学科分类：01[哲学] 0101[哲学-哲学类] 010104[010104] 

馆 藏 号：203955623...