93 citations · 122 across the 9 of their papers we have counts for
1 paper · 1 filter
Martin Mundhenk, Felix Weiss
We show that the model checking problem for intuitionistic propositional logic with one variable is complete for logspace-uniform AC1. As basic tool we use the connection between i…