搜索筛选:
搜索耗时3.2066秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：王克诩,赵希顺,
来源：逻辑学研究 年份：2020
我们在膨胀不动点逻辑IFP的基础上,加入一种带有(多重)对数上界的新二阶量词,并且证明了,在有序结构上我们的新逻辑■logωIFP刻画受限非确定性复杂类βP。为了研究该逻辑的...
[期刊论文] 作者：冯世光,王克诩,赵希顺,
来源：逻辑学研究 年份：2022
本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究.本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP......
相关搜索：
