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

M. Rybakov; Shkatov D.

doi:10.1093/logcom/exae077

Публикации

?

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)

Upper bounds for Steklov eigenvalues of a hypersurface of revolution

Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407

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

On smooth Fano threefolds with coregularity zero

Жакупов О. Б., European Journal of Mathematics 2025 Vol. 11 Article 84

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

2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps

Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369

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

Bibliometric Analysis by Network Models

Алескеров Ф. Т., Якуба В. И., Khutorskaya O. и др., Springer, 2026.

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

Neural-network maps for two-parameter modeling of bistability and codimension-two bifurcations in two-dimensional flow dynamical systems

Купцов П. В., Панюшев А. А., Станкевич Н. В., Chaos 2026 Vol. 36 No. 5 Article 053138

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

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

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

The Sobolev space W_2^{1/2}: Simultaneous improvement of functions by a homeomorphism of the circle

Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787

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

Symmetric Cubic Polynomials

Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40

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

Игры на сетях с линейным наилучшим ответом: модели и методы управления

Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118

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

Добавлено: 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 г.

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