On Kripke completeness of modal predicate logics around quantified K5

Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...

Добавлено: 12 мая 2026 г.

Архимед: научно-методический сборник

М.: ООО «Макс Пресс», 2026.

В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...

Добавлено: 11 мая 2026 г.

A two-point phase recovering from holographic data on a single plane

Novikov R., V. N. Sivkin, Inverse Problems 2026 Vol. 42 No. 4 Article 045009

Добавлено: 11 мая 2026 г.

Multivariate Newton interpolation in downward closed spaces reaches the optimal Bernstein–Walsh approximation rate

Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30

Добавлено: 11 мая 2026 г.

Weighted Chernoff Information and Optimal Loss Exponent in Context-Sensitive Hypothesis Testing

Кельберт М. Я., Kalimulina E. Y., Entropy 2026 Vol. 28 Article 536

Добавлено: 7 мая 2026 г.

Calogero–Sutherland hyperbolic system and Heckman–Opdam $$\mathfrak {gl}_n$$ gl n hypergeometric function

N. Belousov, L. Cherepanov, Derkachov S. и др., Selecta Mathematica, New Series 2026 Vol. 32 Article 44

Добавлено: 6 мая 2026 г.

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate

Рыбаков М. Н., / Series arXiv "math". 2025. No. 2505.00524.

Добавлено: 21 мая 2025 г.

Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames

Agadzhanian I., Рыбаков М. Н., Shkatov D., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 13–17.

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

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 г.

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 г.

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 г.

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 г.

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

Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 531–539.

Добавлено: 6 октября 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 г.

Canonical filtrations and local tabularity

Шехтман В. Б., , in: Advances in Modal Logic, Volume 10.: College Publications, 2014. P. 498–512.

Добавлено: 18 сентября 2015 г.