|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Неразрешимость модальных предикатных логик в языке с одной одноместной буквойтезисы доклада
- Автор: Рыбаков Михаил Николаевич
- Сборник: Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
- Редакторы: Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2017
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 41
- Последняя страница: 43
- Аннотация: We consider first-order modal logics with unary predicate letters only. We show that any sublogic of QS5, QGL, or QGrz is undecidable in the language with just one unary predicate letter. Some near questions will be discussed.
- Добавил в систему: Золин Евгений Евгеньевич