Аннотация:On the basis of the concept of the trace of a modal logic, introduced earlier by the author, a classification of arithmetically complete modal logics is given. It is proved that, between the least and the greatest arithmetically complete logics, there are continuum many logics which are not arithmetically complete.