Аннотация:The paper deals with a special type of ltration in modal logic called "canonical". This
filtration has been known since the 1970s, but was used only occasionally. Applying
it in a systematic way allows us to prove new results on finite model property (and
in some cases | local tabularity) for different polymodal logics. In particular, we
consider products of logics of nite depth with S5 and DL, and also temporal logics
of finite depth.