Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении М.В. Захарьящев — 1989 Matematiceskij sbornik