Decision problem of some bundled FOML fragments

01/07/2022

∙

by   Mo Liu, et al.

∙

0

∙

share

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