Martin Mundhenk, Felix Weiß. The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions. In Antonín Kucera, Igor Potapov, editors, Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings. Volume 6227 of Lecture Notes in Computer Science, pages 146-160, Springer, 2010. [doi]
Abstract is missing.