complexity bound for a given modal logic is often a laborious task. The present work is a
step towards a general theory of the complexity of modal logics. Our main result is that all
rank-1 logics enjoy a shallow model property and thus are, under mild assumptions on the
format of their axiomatisation, in PSPACE. This leads to a unified derivation of tight PSPACE-
bounds for a number of logics, including K, KD, coalition logic, graded modal logic, majority …