Kojelis (2022), Completing the Picture, Complexity of the Ackermann Fragment.pdf (280.34 kB)
Download file

Kojelis (2022), Completing the Picture: Complexity of the Ackermann Fragment

Download (280.34 kB)
conference contribution
posted on 25.07.2022, 17:49 authored by Daumantas Kojelis

Proceedings of the ESSLLI 2022 Student Session

Completing the Picture: Complexity of the Ackermann Fragment

Daumantas Kojelis

We give a decision procedure for the satisfiability problem of the Ackermann fragment with equality, when the number of trailing existential quantifiers is bounded by some fixed integer m, and thus establish an ExpTime upper-bound. Taking the work of R. Jaakkoa into account, we conclude that any Ackermann (sub-)fragment must feature at least two leading as well as an unbounded number of trailing existential quantifiers to retain NExpTime-hardness.

History

Retention period

01/07/2099