Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Неразрешимость модальных предикатных логик в языке с одной одноместной буквой
тезисы доклада
Автор:
Рыбаков Михаил Николаевич
Сборник:
Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 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.
Добавил в систему:
Золин Евгений Евгеньевич