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

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