Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.

Joseph Y. Halpern, Leandro Chaves Rgo

Browse the full IJCAI paper archive.