Агамов Раджаб//Модели для интуиционистских нормальных модальных логик.

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