Доклад Юрия Казакова «Модальная логика с точки зрения теоретико-доказательственной семантики»
30 мая в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Юрий Казаков
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом
«Модальная логика с точки зрения теоретико-доказательственной семантики»
Аннотация
Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.