关于带数据的局部一阶逻辑的存在片段
计算机科学中的逻辑
2022-09-22 v1
摘要
我们研究无序结构上的首阶逻辑，其中每个元素携带来自无限域的有限个数据值，这些数据值可按相等性进行比较。由于该逻辑的可满足性问题在一般情况下是不可判定的，在先前的工作中，我们引入了一族局部片段，将量化限制在给定的参考点的邻域内。本文根据每个元素所携带的数据值数量以及所考虑邻域的半径，给出了该局部逻辑的存在片段之可满足性问题的精确复杂度刻画。
引用
@article{arxiv.2209.10309,
title = {On the Existential Fragments of Local First-Order Logics with Data},
author = {Benedikt Bollig and Arnaud Sangnier and Olivier Stietel},
journal= {arXiv preprint arXiv:2209.10309},
year = {2022}
}
备注
In Proceedings GandALF 2022, arXiv:2209.09333