Complexity of the Ackermann fragment with one leading existential quantifier

11/09/2021
by   Reijo Jaakkola, et al.
0

In this short note we prove that the satisfiability problem of the Ackermann fragment with one leading existential quantifier is ExpTime-complete.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset