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

Доклад Рыбакова В. В. - «Подходы к аксиоматизации модальных логик. Канонические модели».

Доклад Башмакова С. И. - «Полные наборы унификаторов в предтабличной модальной логике PM3».

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

Доклад Моор М. А. - «Метод фильтрации в многомодальных моделях с мультиозначиваниями».

Доклад Башмакова С. И. - «Унификация в предтабличных модальных логиках».

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

Доклад Моор М. А. - «Метод фильтрации».

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

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

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

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

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

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

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

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

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