论文标题
一些捆绑的FOML片段的决策问题
Decision problem of some bundled FOML fragments
论文作者
论文摘要
\ box \ box \ forall \ box捆绑片段是可决定的，并且在恒定域的解释上，\ box捆绑片段是可以决定的，而\ forall \ forall \ box捆绑片段是不可决定的。根据现有结果，我们表明，随着域解释的增加，\ box \的存在，\ box \ forall捆绑片段也可以决定。另一方面，通过恒定域的解释，\ box \ forall捆绑片段是不可确定的，并且存在\ box \ 2捆绑片段，\ box \的扩展是捆绑的片段，也不可确定。
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.
