• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Polytime embedding of intuitionistic modal logics into their one-variable fragments
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
31 августа 2026 г.
Ученые НИУ ВШЭ предложили по-новому считать неформальную занятость в России
Действующие подходы Росстата к оценке неформальной занятости в России уже не в полной мере отражают современную ситуацию на рынке труда. К такому выводу в своем исследовании пришли экономисты ИСИЭЗ НИУ ВШЭ. Ученые считают, что новые международные стандарты помогут получать более достоверные данные о рынке труда, а значит, принимать более эффективные государственные решения.
28 августа 2026 г.
МИЭМ ВШЭ и МИЭТ договорились о научном сотрудничестве
26 августа Московский институт электроники и математики им. А.Н. Тихонова (МИЭМ) ВШЭ и Национальный исследовательский университет «Московский институт электронной техники» (МИЭТ) подписали договор о сотрудничестве. Соглашение направлено на развитие совместных исследований в области физики, перспективного материаловедения и электроники, объединяющих экспериментальные и вычислительные подходы, выполнение совместных опытно-конструкторских работ, а также подготовку заявок на российские и международные научные гранты.
25 августа 2026 г.
Исследователи ВШЭ сравнили рекомендательные алгоритмы по правилам спортивного турнира
Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ разработали подход, который помогает эффективнее подбирать рекомендательные алгоритмы. В нем разные методы попарно соревнуются, а по результатам всех поединков составляется общий рейтинг. Это помогает сократить число алгоритмов, которые нужно проверять при разработке новых сервисов, и сэкономить денежные и временные ресурсы.Исследование было представлено на  32-й конференции ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2026).

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Polytime embedding of intuitionistic modal logics into their one-variable fragments

Journal of Logic and Computation. 2025. Vol. 35. No. 4. Article exae077.
Рыбаков М. Н., Shkatov D.
Научное направление: Математика
Язык: английский
Полный текст
DOI
Ключевые слова: intuitionistic modal logic
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Доказательства и модели (2023)
Похожие публикации
Semi-Interlaced Polytopes
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
A new spin on polynomial relations among kappa classes
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Any Topological Recursion on a Rational Spectral Curveis KP Integrable
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Сплетенный мир: кошка перевернулась. Доклад Римскому клубу
Громов В. А., Переслегин С. Б., Переслегина Е. Б. и др., СПб.: Полакс, 2026.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Multiplicity-free products of Schubert divisors
Devyatov R. A., Mathematical notes 2026 Vol. 119 No. 3 P. 782–786
Добавлено: 30 августа 2026 г.
Mukai models of Fano varieties
Bayer A., Кузнецов А. Г., Macrì E., Journal fuer die reine und angewandte Mathematik 2026 Vol. 2026 No. 836 P. 111–162
Добавлено: 30 августа 2026 г.
Mukai bundles on Fano threefolds
Bayer A., Кузнецов А. Г., Macrì E., Compositio Mathematica 2026 Vol. 162 No. 1 P. 59–99
Добавлено: 30 августа 2026 г.
Full exceptional collections on the symplectic isotropic Grassmannians
Гусева Л. А., Novikov A., Advances in Mathematics 2026 Vol. 503 Article 111211
Добавлено: 30 августа 2026 г.
Exceptional pairs on del Pezzo surfaces and spaces of compatible Feigin-Odesskii brackets
Полищук А., Rains E., Journal of the Institute of Mathematics of Jussieu 2026 Vol. 25 No. 1 P. 339–373
Добавлено: 30 августа 2026 г.
Analog of theta-lifting for a curve over dual numbers over a finite field
Kazhdan D., Полищук А., Pure and Applied Mathematics Quarterly 2026 Vol. 22 No. 3 P. 1115–1166
Добавлено: 30 августа 2026 г.
Quasi-periodic structures and "shrimps" in chaos on the example a two-mode van der Pol generator
Kuznetsov A. P., Sataev I. R., Станкевич Н. В., Chaos 2026 Vol. 36 No. 8 Article 083131
Добавлено: 30 августа 2026 г.
Approximation of continuous functions on a compact set by solutions of elliptic equations. Quantitative results.
Широков Н. А., Rozenblum G., Israel Journal of Mathematics 2026 P. 1–30
We establish that a generalized H\¨older continuous function on an (m−2)-Ahlfors regular compact set in Rm can be approximated by solutions of an elliptic equation, with the rate of approximation determined by the continuity modulus of the function ...
Добавлено: 29 августа 2026 г.
Discrete Markowitz Portfolio Optimization with Open-Source Classical and Quantum-Inspired Solvers: A Cross-Market Walk-Forward Study
Avdoshin S.M., Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 No. 4 часть 2 P. 245–256
Добавлено: 27 августа 2026 г.
Benchmarking Synolitic Graphs for Autism Classification from Multisite Resting-State fMRI
Заикин А. А., Власенко Д. В., Захаров Д. Г. и др., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Добавлено: 27 августа 2026 г.
Pyramidal solitons: existence, instability, and interactions
Мельников И. Е., Пелиновский Е. Н., Nonlinear Dynamics 2026 No. 114 Article 934
Добавлено: 27 августа 2026 г.
Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование. Современные проблемы, приложения и проблемы истории. Материалы XXIV Международной конференции, посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Добавлено: 27 августа 2026 г.
О подходе к построению последовательности псевдослучайных чисел, основанном на разложениях 𝐸-функций с периодическими коэффициентами
Нестеренко А. Ю., Чирский В. Г., Матвеев В. Ю., Чебышевский сборник 2026 Т. 27 № 2 С. 118–127
В статье приводятся результаты практического исследования статистических свойств некоторых последовательностей, являющихся значениями функций специального вида. ...
Добавлено: 26 августа 2026 г.
Characterizing the Scheduling Performance of 5G NR Base Stations Under Signaling and Data Traffic Constraints
Eduard Sopin, Назарьин А. И., Бегишев В. О. и др., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Добавлено: 26 августа 2026 г.
Balanced sets and homotopy invariants of covers
Блудов М. В., Journal of Fixed Point Theory and Applications 2026 No. 28 Article 73
Добавлено: 25 августа 2026 г.
Exact solutions for transport of distributed colloids in porous media
L.I. Kuzmina, Osipov , Y. V., Kolokoltseva, T. N., Advances in Water Resources 2026 Vol. 213 Article 105335
Добавлено: 25 августа 2026 г.
Negation as a modality in a quantified setting
Сперанский С. О., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1330–1355
The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed in [Cabalar et al. 2006], while the latter has ...
Добавлено: 26 декабря 2025 г.
Some remarks on Došen's logic N and its extensions
Сперанский С. О., Siberian Electronic Mathematical Reports 2022 Vol. 19 No. 2 P. 562–577
This paper collects some observations about Došen's logic N, where negation is treated as a modal operator, and its extensions. We shall see what happens when we add the contraposition axiom to several important extensions of N, show that certain extensions of N are canonical, and also revisit the method of filtration. ...
Добавлено: 26 декабря 2025 г.
On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics
Рыбаков М. Н., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 73–74.
Добавлено: 7 июля 2023 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору