若干捆绑FOML片段的判定问题

摘要：

在增加的结构域解释上，\exists \Box和\forall \Box捆绑片段是可判定的，并且在恒定结构域解释上，\exists \Box捆绑片段是可判定的，而\forall \Box捆绑片段是不可判定的。基于现有的结果，我们表明，在增加域解释，\Box \exists和\Box \forall捆绑片段是可判定的。另一方面，在恒定结构域解释中，\Box \forall捆绑片段是不可判定的，并且\Box \exists^2捆绑片段（\Box \exists捆绑片段的扩展）也是不可判定的。

英文摘要：

Over increasing domain interpretations, \exists\Box and \forall\Box bundled fragments are decidable and over constant domain interpretations, \exists\Box bundled fragment is decidable while \forall\Box bundled fragment is undecidable. Based on the existing results,we show that over increasing domain interpretations, \Box\exists and \Box\forall bundled fragments are decidable as well. On the other hand, over constant domain interpretations, \Box\forall bundled fragment is undecidable and \Box\exists^2 bundled fragment, an extension of \Box\exists bundled fragment, is undecidable neither.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。