The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete.

Martin Mundhenk, Felix Wei

Browse the full STACS paper archive.