Komplexität des Modellprüfproblems für inquisitive propositionale und modale Logik

Das Modellprüfproblem für die inquisitiven Logiken InqB und InqM ist PSPACE-vollständig.