О дизъюнктивном свойстве суперинтуиционистских и модальных логик

Доказывается, что если непротиворечивая суперинтуиционистская логика обладает дизъюнктивным свойством, то всякая выводимая в ней формула, не содержащая вхождений дизъюнкции, выводима также интуиционистски. Рассматривается некоторый класс расширенной модальной системы $S4$, во многом подобных суперинтуиционистским логикам, дополнительные аксиомы которых не содержат дизъюнкции, доказывается финитная аппроксимируемость всех его логик и выясняется, какие логики из этого класса обладают дизъюнктивным свойством, а какие не обладают. Библиогр. 10 назв.