论探究性团队逻辑与探究性一阶逻辑的表征力
逻辑
2026-03-10 v1 计算机科学中的逻辑
摘要
探究性团队逻辑是解释于团队语义下的探究性逻辑变体，已被认为为对依赖声明的自然规整形式。在句子层面，该逻辑已知与一阶逻辑等价。然而，本文我们证明，其开放公式的表征力实际上严格超过一阶逻辑。为达此目标，我们证明若探究性团队逻辑拓展采用依赖逻辑中采用的范围生成全称量词，则 resulting logic 可表达有限性，从而既非紧凑也非递归可axiom化。我们进一步将结果拓展至标准探究性一阶逻辑，证明该逻辑的某些句子表达了模型的非一阶属性。
引用
@article{arxiv.2603.08646,
title = {On the expressive power of inquisitive team logic and inquisitive first-order logic},
author = {Juha Kontinen and Ivano Ciardelli},
journal= {arXiv preprint arXiv:2603.08646},
year = {2026}
}