Неразрешимость логики QLC в языке с двумя предметными переменными

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

23 июля 2026 г.

РНФ поддержал 31 проект молодых ученых НИУ ВШЭ

Российский научный фонд подвел итоги трех конкурсов, направленных на поддержку молодых ученых. Победителями признаны более 850 проектов, в том числе 31 из Высшей школы экономики. На средства грантов будут проведены исследования, направленные на решение конкретных задач в рамках приоритетов научно-технологического развития, которые определены в Стратегии научно-технологического развития Российской Федерации.

22 июля 2026 г.

Тяга к сладкому оказалась важнее заботы о здоровье

Исследователи НИУ ВШЭ в Перми с помощью ЭЭГ изучили, как тяга к сладкому и интерес к здоровому питанию влияют на оценку газированных напитков со вкусом колы. В ходе дегустации участники оценивали вкус напитка и называли максимальную сумму, которую готовы за него заплатить. Оказалось, что чем выше интерес человека к здоровью, тем более сложным и когнитивно затратным для него является решение о готовности платить и тем меньше в итоге он будет готов заплатить за такой напиток. Исследование опубликовано в журнале British Food Journal.

21 июля 2026 г.

«Нам бы хотелось, чтоб наши корпуса использовались больше»

Созданные в Международной лаборатории языковой конвергенции и Школе лингвистики НИУ ВШЭ корпуса абхазо-адыгских языков, на которых говорят народы Западного Кавказа, позволяют изучить их особенности, показывают возможности современного использования. Создание корпусов стало возможным благодаря серии экспедиций ученых и студентов Вышки на Кавказ, современным методам лингвистической обработки и взаимодействию с коллегами из региональных университетов. О работе лингвистов новостной службе «Вышка.Главное» рассказал ведущий научный сотрудник Международной лаборатории языковой конвергенции, доцент Школы лингвистики Юрий Ландер.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Неразрешимость логики QLC в языке с двумя предметными переменными

С. 151–152.

Рыбаков М. Н.

Решена проблема алгоритмической разрешимости логики QLC в языке с двумя предметными переменными.

Язык: русский

Полный текст

Текст на другом сайте

Ключевые слова: неразрешимость

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Доказательства и модели (2023)

В книге

IV Конференция математических центров России. Сборник тезисов

[б.и.], 2024.

О наследственно неразрешимых фрагментах базовых элементарных теорий

Карпов В. Е., Сперанский С. О., Математические заметки 2025 Т. 118 № 1 С. 77–90

Строится $\Sigma_1$-интерпретация класса BiG-fin всех конечных двудольных графов в классе 2Eq-fin всех пар отношений эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории 2Eq-fin. Далее, строится $\Sigma_1$-интерпретация 2Eq-fin в классе LEq-fin всех пар, состоящих из линейного порядка и отношения эквивалентности на общем конечном носителе; это даёт наследственную неразрешимость $\Sigma_2$-теории LEq-fin. Полученные результаты являются в известном ...

Добавлено: 26 декабря 2025 г.

Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта

Рыбаков М. Н., Серова Д. А., В кн.: Международная конференция Мальцевские чтения: 11–15 ноября 2024 г.: тезисы докладов.: [б.и.], 2024. С. 45–45.

Представлены результаты о неразрешимости фрагментов предикатной логики Гёделя--Дамметта и её расширений. ...

Добавлено: 17 ноября 2024 г.

Неразрешимость модальных предикатных логик в языке с одной одноместной буквой

Рыбаков М. Н., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 41–43.

Рассматриваются предикатные модальные логики с одним одноместным предикатом. Показано, что соответствующие фрагменты подлогик таких логик как QS5, QGL или QGrz неразрешимы. ...

Добавлено: 7 октября 2019 г.

Undecidability of the transitive graded modal logic with converse

Золин Е. Е., Journal of Logic and Computation 2017 Vol. 27 No. 5 P. 1399–1420

We extend the language of the modal logic K4 of transitive frames with two sorts of modalities. In addition to the usual possibility modality (which means that a formula holds in some successor of a given point), we consider graded modalities (a formula holds in at least n successors) and converse graded modalities (aformula holds ...

Добавлено: 14 июня 2018 г.