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

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

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

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

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

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

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

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

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

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

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

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

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

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