Не финитно аппроксимируемые интуиционистские модальные логики

Строится система $LCT^+$, которая является не финитно аппроксимируемым модальным расширением логики $LC$ Даммета (известно, что все немодальные расширения $LC$ финитно аппроксимируемы). Кроме того, на всех конечных моделях $LCT^+$ общезначима эквивалентность $\square A\equiv A$, и поэтому на таких моделях она является модальной только фиктивно; классический аналог $LCT^+$ совпадает с немодальной классической логикой. Библ. 3 назв.