#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».

Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.

Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).

Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1051159919.html

➰ ВК