Доклад Башмакова С.И. - «Вопрос финитной аппроксимируемости в линейной
модальной логике интранзитивного времени с универсальной модальностью» Часть 1.

Аннотация.
В докладе будут проанализированы известные подходы к доказательству финитной аппроксимируемости в модальных логиках. Гипотеза: линейная логика интранзитивного времени с универсальной модальностью финитно аппроксимируема.