Decision problem of some bundled FOML fragments
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.
READ FULL TEXT