• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Доклад Даниила Хайтовича "Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик"

6+
Мероприятие завершено

3 декабря в 18.30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии.

Даниил Хайтович 

стажер-исследователь МЛ ЛогЛинФФ

выступит с докладом:

“Исчисление секвенций с лейблами для геометрически аксиоматизируемых нормальных модальных логик”

 

Аннотация: 
С момента публикации результатов Крипке по реляционной семантике для  модальных логик исследователи сконцентрировались на теоретико-модельных аспектах соответствующих систем, практически игнорируя теорию доказательств и ограничиваясь аксиоматиками гильбертовского стиля.Подобное положение дел также было связано с общим скептицизмом по поводу возможности построить традиционные исчисления генценовского типа с устранением сечения и подформульностью. Сложности возникают уже в случае относительно простой системы S5.

Однако у нас есть несколько вариантов нетрадиционных исчислений секвенций, адаптированных для модальной логики. Мы разберем один из них -- исчисление секвенций с лейблами (labelled sequent calculi). Мы посмотрим на исчисление G3K, соответствующее минимальной нормальной модальной логике К, разберем корректность и полноту данного исчисления, расмотрим его структурные свойства, а также покажем, как могут быть построены соответствующие исчисления для некоторого класса нормальных модальных логик.

 

Zoom
Идентификатор конференции: 956 6971 8556

Доступ к конференции по паролю, для получения пароля, пожалуйста, заполните форму.
При возникновении вопросов пишите по адресу llfp@hse.ru