📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #наука #лекции #logicru
Очередное заседание семинара "
Logic.ru" состоится в ближайшую субботу 23 мая в 12:00.
Заседания семинара проходят on-line с помощью конференц-платформы
Zoom. Все желающие могут пройти по ссылке, чтобы послушать заранее
анонсированный доклад и принять участие в его обсуждении.
С докладом "Гиперсеквенциальные исчисления для модификаций S5 с
нестандартными модальностями" выступит Петрухин Я. И. (Лодзинский
университет).
____________________________
Аннотация доклада:
Многие стандартные модальные логики имеют секвенциальную или
гиперсеквенциальную формулировку. Однако в случае с нестандартными
модальными логиками (логики с операторами (не)случайности
[(non)contingency], существенной [essence] или случайной [accident]
истины) ситуация хуже. Для ряда логик с оператором неслучайности Е. Е.
Золиным построены секвенциальные исчисления с неустранимым сечением.
Цель нашего доклада: сделать шаг к доказательству теоремы об
устранимости сечения для логик с нестандартными модальностями. Мы
ограничимся только теми из них, которые являются модификациями
модальной логики S5, так как для неё известно не менее восьми
гиперсеквенциальных исчислений с устранимым сечением. В качестве
образца для наших исчислением мы возьмем исчисление Ресталла,
поскольку оно является одним из самых простых из имеющихся для S5. На его основе мы сформулируем исчисления с устранимым сечением для логик S5-типа с операторами (не)случайности, существенной и случайной
истины.
_________________________
Для участия в конференции вам нужно перейти по следующей ссылке:
https://us02web.zoom.us/j/87487330156?pwd=Vkx2WEFyWUlYU0J0YTJZaHp1aDBiUT09При входе в конференцию вас могут попросить ввести пароль, вот он: seminar