quantified boolean formula

Here’s a PSPACE-COMPLETE language:

\begin{equation} \forall x_1, \exists x_2, \forall x_3 \dots \dots \phi\qty(x_1, x_2, \dots, x_{n}) = 1 \end{equation}