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