守卫片段的 Craig 插值
计算机科学中的逻辑
2023-04-18 v1
摘要
我们表明，在精确意义下，守卫否定片段（GNFO）是具备 Craig 插值的守卫片段（GFO）的最小扩张。相比之下，两变量片段（FO2）具备 Craig 插值的最小扩张是一阶逻辑。
引用
@article{arxiv.2304.08086,
title = {Craig Interpolation for Guarded Fragments},
author = {Balder ten Cate and Jesse Comer},
journal= {arXiv preprint arXiv:2304.08086},
year = {2023}
}
备注
Accepted for presentation at DPFO 2023 workshop