PSPACE bounds for rank-1 modal logics
scientific article