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

В субботу, 31 марта 2018 года в 10:00 в Институте математики и фундаментальной информатики СФУ состоится день открытых дверей. В программе дня университетская олимпиада по математике, победители и призеры которой получат дополнительные баллы при поступлении в СФУ, презентация института, ответы на вопросы абитуриентов и мастер-классы.

Приглашенный докладчик: Одинцов Сергей Павлович (д-р физ.-мат. наук, ведущий научный сотрудник Института математики им. С.Л. Соболева, Новосибирск) - «О конструктивности теоретико-игровой семантики».

Аннотация доклада:
Будет показано, что семантика реализуемости по Нельсону, ограниченная на язык без импликации, является эффективной версией теоретико-игровой семантики для логики первого порядка. Далее, будут определены IF-логика Я. Хинтикки, получающаяся из логики первого порядка добавлением независимых кванторов, игровая семантика и трамп-семантика для данной логики. Будет установлено, что эффективизация трамп-семантики приводит к семантики реализуемости, которая является консервативным расширением (в специально определенном строгом смысле) реализуемости по Нельсону.

Доклад состоялся в рамках заседания "Красноярского алгебраического семинара".

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики. Часть II.»

Доклад Бабёнышев С. В. (СПСА ГПС МЧС России, Железногорск) - «Проективность: от теории категорий до модальной логики».

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

Аннотация доклада:
Дается синтаксическое и семантическое описание рассматриваемых логик, анализ известных результатов Л. Максимовой, Л. Эсхакиа, А. Чагрова, В. Рыбакова. Известно, что модальные системы PM1 и PM5 соответствуют логикам S4.3 и S5. Рассматриваются известные результаты теории унификации для этих логик. Предлагаются перспективы исследований.

Рыбаков В. В. реферирует статью
Е. Леммона - «Алгебраическая семантика для модальных логик».

Доклад Рыбакова В. В. - «Структурная полнота».

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

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

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

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