Disjunctive property of superintuitionist and modal logics
scientific article; zbMATH DE number 4068834