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

M. Rybakov; Shkatov D.

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

15 мая 2026 г.

В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций

Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

15 мая 2026 г.

Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ

В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

14 мая 2026 г.

<a>Ученые ФКН ВШЭ представили работы в сфере ИИ и биоинформатики на ICLR 2026

Ученые Института искусственного интеллекта и цифровых наук факультета компьютерных наук ВШЭи студенты трека «ИИ360: Инженерия искусственного интеллекта» бакалаврской программы «Прикладная математика и информатика» приняли участие в международной конференции ICLR — одном из самых авторитетных мировых форумов в области машинного обучения и представления данных. В этом году конференция состоялась в Рио-де-Жанейро (Бразилия).

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