Линейные модальности в минимальной логике

Доказано, что в минимальной модальной логике любая линейная модальность (т.е. конечная последовательность операторов отрицания $\neg$ и необходимости $\square$) , содержащая хотя бы одно вхождение $\square$, подчиняется тем и только тем законам, что и оператор $\square$.
Библиогр. 5.