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

АБВ
АБВ
АБВ

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

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

по году

Тематика

20 мая 2026 г.

Творческая работа как лекарство от выгорания

Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

Нашли опечатку?
Выделите её, нажмите 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 г.