Доклад Даниила Хайтовича "Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик"
3 декабря в 18.30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.
Даниил Хайтович
стажер-исследователь МЛ ЛогЛинФФ
выступит с докладом:
“Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик”
Аннотация:
С момента публикации результатов Крипке по реляционной семантике для модальных логик исследователи сконцентрировались на теоретико-модельных аспектах соответствующих систем, практически игнорируя теорию доказательств и ограничиваясь аксиоматиками гильбертовского стиля.Подобное положение дел также было связано с общим скептицизмом по поводу возможности построить традиционные исчисления генценовского типа с устранением сечения и подформульностью. Сложности возникают уже в случае относительно простой системы S5.
Однако у нас есть несколько вариантов нетрадиционных исчислений секвенций, адаптированных для модальной логики. Мы разберем один из них -- исчисление секвенций с лейблами (labelled sequent calculi). Мы посмотрим на исчисление G3K, соответствующее минимальной нормальной модальной логике К, разберем корректность и полноту данного исчисления, расмотрим его структурные свойства, а также покажем, как могут быть построены соответствующие исчисления для некоторого класса нормальных модальных логик.
Zoom
Идентификатор конференции: 956 6971 8556
При возникновении вопросов пишите по адресу llfp@hse.ru