Complexity of the Ackermann fragment with one leading existential quantifier

11/09/2021

∙

by   Reijo Jaakkola, et al.

∙

0

∙

share

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