Институт математики
и фундаментальной информатики СФУ

Установочное заседание.
В.В. Рыбаков – «Мультиозначивания во временных модальных логиках».

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

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

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

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

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

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

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

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

Доклад Башмакова С.И. - «Проективная унификация в нестандартных логиках».

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

Башмаков С.И. реферирует статью
Юн В.Ф. - «Полимодальная логика индуктивных линейных по времени фреймов», 2015 г. Часть 2.

Башмаков С.И. реферирует статью
Юн В.Ф. – «Полимодальная логика индуктивных линейных по времени фреймов», 2015 г. Часть 1.

Доклад С.И. Башмаков – «Линейная интранзитивная мономодальная логика»

Аннотация.
Доклад посвящен линейной интранзитивной мономодальной логике. Дается определение логики, проанализированы основные известные результаты и нерешенные вопросы.

С.И. Башмаков реферирует статью:
V. Rybakov - «Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals», 2005 г.