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

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