%0 Journal Article %A A. V. Kudinov %A I. B. Shapirovsky %T Partitioning Kripke frames of finite height %J Izvestiya. Mathematics %D 2017 %P 592-617 %V 81 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/IM2_2017_81_3_a5/ %G en %F IM2_2017_81_3_a5