A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames

M. Rybakov; Shkatov D.

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

23 сентября 2026 г.

<a>В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды

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

21 сентября 2026 г.

Ученые НИУ ВШЭ показали, что врожденные нарушения моторики влияют на развитие мозга

Исследователи из Института когнитивных нейронаук НИУ ВШЭ обобщили результаты своих предыдущих исследований, посвященных особенностям развития мозга у детей с акушерским параличом плечевого сплетения и артрогрипозом. Анализ показал, что нарушение моторики в раннем возрасте не только ведет к недостатку двигательного опыта, но и влияет на память, категориальное мышление и обработку информации. Работа опубликована в журнале Frontiers in Psychology.

22 сентября 2026 г.

Как россияне взаимодействуют с ИИ при поиске информации в интернете

Школа коммуникаций НИУ ВШЭ и Online Market Intelligence провели исследование пользовательского поискового опыта в российском сегменте интернета. Как показали результаты, пользователи в России уже воспринимают ИИ-ответ в выдаче как естественную часть поиска и используют его наравне с привычным списком ссылок. При этом на рынке самостоятельных нейросетей (отдельных чат‑ботов) уверенно лидирует Алиса AI от Яндекса — ее регулярно используют 40 % опрошенных.

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

Публикации

?

A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames

P. 531–539.

Рыбаков М. Н., Shkatov D.

Язык: английский

Ключевые слова: Kripke completeness First-order modal logic recursive enumerability fi rst-order de finability

В книге

Advances in Modal Logic

Vol. 12. , College Publications, 2018.

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness

Рыбаков М. Н., Logic Journal of the IGPL 2024 Vol. 32 No. 3 P. 465–492

Добавлено: 7 июля 2023 г.

On Kripke completeness of modal predicate logics around quantified K5

Valentin Shehtman, Annals of Pure and Applied Logic 2023 Vol. 174 No. 2 Article 103202

Добавлено: 30 января 2023 г.

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2021 Vol. 31 No. 5 P. 1266–1288

Изучается алгоритмическая выразительность предикатных логик шкалы Крипке, задаваемой множеством натуральных чисел с отношениями порядка. ...

Добавлено: 23 января 2022 г.

Algorithmic properties of first-order modal logics of the natural number line in restricted languages

Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 523–539.

Добавлено: 27 августа 2020 г.

Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 7 P. 1305–1329

Добавлено: 27 августа 2020 г.

Computational properties of the logic of partial quasiary predicates

Shkatov D., Рыбаков М. Н., , in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20).: ACM, 2020. P. 58–65.

Доказаны аналоги теоремы Чёрча и теоремы Трахтенброта для логики квазиарных предикатов. ...

Добавлено: 20 июля 2020 г.

Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

Рыбаков М. Н., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99

Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL. ...

Добавлено: 20 июля 2020 г.

Recursive enumerability and elementary frame definability in predicate modal logic

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2020 Vol. 30 No. 2 P. 549–560

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

On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames

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

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

Trakhtenbrot theorem for classical languages with three individual variables

Рыбаков М. Н., Shkatov D., , in: Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019.: NY: ACM, 2019. Ch. 19 P. 1–7.

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

Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter

Рыбаков М. Н., Shkatov D., Studia Logica 2019 Vol. 107 No. 4 P. 695–717

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

On Kripke completeness of some modal predicate logics with the density axiom

Шехтман В. Б., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 559–575.

Добавлено: 20 сентября 2018 г.

On Completeness of Logics Enriched with Transitive Closure Modality

Shapirovsky I., Золин Е. Е., , in: 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015).: [б.и.], 2015. P. 1–3.

We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF). ...

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