О финитной аппроксимируемости исчисления $I^\Delta$ и немоделируемости некоторого его расширения

Рассматривается модальное пропозициональное исчисление $I^\Delta$ на интуиционистской базе, для которого приводится эффективное (т.е. без применения аксиомы выбора) доказательство его моделируемости относительно конечных систем Крипке. Приводится пример немоделируемого расширения исчисления $I^\Delta$. Библ. 6 назв.