具有量词交替的一致一维片段
计算机科学中的逻辑
2023-10-03 v1
摘要
一阶逻辑的一致一维片段于数年前作为一阶逻辑双变量片段在涉及元数大于二的关系的语境中的推广而被引入。该逻辑中的量词以块形式使用，每块仅由存在量词或仅由全称量词组成。本文考虑在块中混合量词的可能性。我们识别出该逻辑的一种具有混合量词块的非平凡变体，它保留了一阶逻辑双变量片段与一致一维片段的一些良好性质：它具有有限（指数）模型性质，因此可判定，其可满足性问题为 NExpTime 完全。
引用
@article{arxiv.2310.00994,
title = {A Uniform One-Dimensional Fragment with Alternation of Quantifiers},
author = {Emanuel Kieroński},
journal= {arXiv preprint arXiv:2310.00994},
year = {2023}
}
备注
In Proceedings GandALF 2023, arXiv:2309.17318