#матлог #учёба #спецсеминар

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг 15 мая, начало в 18:30, состоится два доклада по 45 минут.
Эти доклады будут предзащитами дипломных работ студентов 6 курса Мехмата МГУ

Докладчик 1: Елизавета Бахтина
Тема: О лесных логиках, расширяющих логику K+Alt_2
Аннотация:
Лесная логика – это пропозициональная модальная логика леса, т.е. дизъюнктного объединения деревьев. В докладе будут рассмотрены свойства лесных логик, являющихся расширениями логики K+Alt_2 (финитная аппроксимируемость, разрешимость и перечислимость), а также рассмотрен вопрос о количестве таких логик.

Докладчик 2: Лев Дворкин
Тема: Интерпретируемость модальных логик
Аннотация
Рассмотрим интерпретации одних модальных логик в других, при которых булевы связки интерпретируются тождественно, а модальность интерпретируется произвольной формулой A(p). Говорим, что формула A(p) монотонна/нормальна в логике L, если она задаёт интерпретацию монотонной/нормальной логики в L. Мы покажем, что в нормальных логиках с интерполяционным свойством Линдона все монотонные формулы эквивалентны позитивным, однако это неверно для произвольных нормальных логик. Также мы опишем все нормальные формулы в логиках K, GL, S4 и Grz с точностью до эквивалентности: в K и GL их бесконечное количество, а в S4 и Grz по пять нормальных формул. Мы покажем, что в логиках из отрезка [K; GL.3] интерпретируемо бесконечное количество различных нормальных логик, а в S4 и Grz интерпретируемо по пять нормальных логик.

Видеозаписи предыдущих докладов:

https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX

Веб-страница с аннотациями и слайдами:

http://logic.math.msu.ru/sem/ml/

Для получения ссылки Zoom пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!

➰ ВК