Decision problem of some bundled FOML fragments

01/07/2022
by   Mo Liu, et al.
0

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

Please sign up or login with your details

Forgot password? Click here to reset