|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Семантика Крипке объединённой логики задач и высказыванийдоклад на конференции
- Автор: Оноприенко А.А.
- Международная Конференция : XII Международная научная конференция «Интеллектуальные системы и компьютерные науки»
- Даты проведения конференции: 29 ноября - 3 декабря 2021
- Дата доклада: 1 декабря 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Москва, МГУ имени М.В. Ломоносова, Russia
-
Аннотация доклада:
Рассматривается объединённая логика задач и высказываний QHC, введённая С. А. Мелиховым. Доказана теорема о полноте данной логики относительно моделей Крипке, получающихся обогащением моделей Крипке с отмеченными мирами для её пропозиционального фрагмента HC. Кроме того, показано, что логика QHC является консервативным расширением предикатного варианта интуиционистской эпистемической логики IEL+, предложенной С.Артёмовым и Т.Протопопеску.
- Добавил в систему: Оноприенко Анастасия Александровна