Ju n 20 07 PSPACE Bounds for Rank-1 Modal Logics