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