若干捆绑FOML片段的判定问题
计算机科学中的逻辑
2022-01-10 v1
摘要
在递增域解释下，∃□与∀□捆绑片段是可判定的；在常域解释下，∃□捆绑片段可判定而∀□捆绑片段不可判定。基于已有结果，我们证明在递增域解释下，□∃与□∀捆绑片段同样可判定。另一方面，在常域解释下，□∀捆绑片段不可判定，而□∃²捆绑片段（□∃捆绑片段的扩展）既非不可判定。
引用
@article{arxiv.2201.02336,
title = {Decision problem of some bundled FOML fragments},
author = {Mo Liu},
journal= {arXiv preprint arXiv:2201.02336},
year = {2022}
}