我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：研究有界度结构类上后继不变一阶逻辑的表达能力。

本文研究后继不变一阶逻辑（successor-invariant first-order logic）在具有有界度的结构类上的表达能力。该逻辑是在普通一阶逻辑基础上扩展一条额外的后继关系，但要求公式的有效性不依赖于具体选取的后继关系，即对同一结构上所有可能后继关系保持不变。作者关注这种受限使用后继关系的逻辑究竟能表达哪些性质，尤其在有界度这一常见且结构受控的模型类中，其相对于普通一阶逻辑的表达力边界。摘要没有给出具体定理、判定结果或完整证明细节，仅说明研究该逻辑的表达能力与不变性条件。整体属于有限模型论与逻辑表达能力方向的理论工作。

问题

研究后继不变一阶逻辑在有界度结构类上的表达能力：允许使用附加后继关系，但公式有效性必须独立于后继的具体选择。

方法

摘要未展开具体技术方法，仅说明所研究的逻辑扩展及其后继不变性条件，并限定在有界度结构类上。

评估

摘要未描述实验或具体评估结果；从摘要看，这是关于逻辑表达能力的理论分析。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot5485,
  title = {Successor-Invariant First-Order Logic on Classes of Bounded Degree},
  author = {Julien Grange},
  booktitle = {LICS},
  year = {2020},
  doi = {10.1145/3373718.3394767}
}