Доклад Раджаба Агамова на научном семинаре "Современные проблемы математической логики"

19 февраля стажер-исследователь МЛ ЛогЛинФФ Раджаб Агамов выступил с докладом "Модели для интуиционистских нормальных модальных логик" в рамках научного семинара "Современные проблемы математической логики" в ВШЭ.

Р. Э. Агамов 

"Модели для интуиционистских нормальных модальных логик"

Аннотация доклада: 

Доклад будет посвящен интуиционистской логике и интуиционистской модальной логике.
Будут рассмотрены модели Крипке с двумя отношениями, где первое — для интуиционистской части языка, а второе — для используемой в языке модальности.
Такие модели дают возможность рассмотреть интуиционистские аналоги логики K.
Будут определены логики HK_{\diamond}, HK_{\Box} и будет доказана их полнота относительно H_{\diamond}, H_{\Box} моделей Крипке соответственно.

Видеозапись доклада