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