The closed fragment of IL is PSPACE hard

Félix Bou, Joost J. Joosten

In this paper from 2011 we consider ${\text{IL}}_0$, the closed fragment of the basic interpretability logic $\text{IL}$. We show that we can translate ${\text{GL}}_1$, the one v…