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

Аннотация.
Исследуется вопрос разрешимости в исследуемой временной логике.