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