УДК 510.643
Линейные модальности в минимальной логике / Золин Е.Е. // Вестн. Моск. ун-та. Сер. 1,
Математика. Механика.
C. 47-50.
Доказано, что в минимальной модальной логике любая линейная модальность
(т.е. конечная последовательность операторов отрицания 
и
необходимости 
), содержащая хотя бы одно вхождение , подчиняется тем
и только тем законам, что и оператор 
.
Библиогр. 5.
