How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics.

Alexander V. Chagrov, Mikhail N. Rybakov

Browse the full AiML paper archive.