Una característica lógica de PSPACE desde la teoría de la complejidad descriptiva es que son conjuntos de problemas expresados en segundo orden lógico con la adición de un operador de la clausura transitiva.