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

M. Rybakov; Shkatov D.

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

1 июля 2026 г.

Ученые НИУ ВШЭ выяснили, кто и почему в России питается вне дома

Около трети населения (31,3%) практически не едят вне дома и не покупают готовую еду. Ядро активных потребителей — тех, кто питается вне дома или покупает готовое почти ежедневно или несколько раз в неделю, — составляет всего около 9%. Таковы результаты исследования, проведенного Институтом социальной политики НИУ ВШЭ. Как отмечают авторы, питание вне дома в России перестало быть маркером высокого статуса.

30 июня 2026 г.

Аспирантка НИУ ВШЭ получила премию за выдающуюся научную статью

Международное научное общество по коллективному выбору и экономике благосостояния — Society for Social Choice and Welfare (SSCW) — присудило награду для молодых исследователей Ангелине Юдиной, аспирантке и преподавателю департамента математики ФЭН, младшему научному сотруднику Международного центра анализа и выбора решений НИУ ВШЭ. Ученые отметили ее статью, посвященную решениям задачи выбора наилучших альтернатив на основании результатов их попарных сравнений.

30 июня 2026 г.

«Я хотела бы, чтобы мои исследования помогали делать мир спокойнее и лучше»

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

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

Шехтман В. Б., 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 г.