On structural proof theory of the modal logic K+ extended with infinitary derivations

АБВ
АБВ
АБВ

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

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

по году

Тематика

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

18 мая 2026 г.

В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского

Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.

15 мая 2026 г.

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

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

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

Публикации

?

On structural proof theory of the modal logic K+ extended with infinitary derivations

Logic Journal of the IGPL. 2024. P. 1–46.

Шамканов Д. С.

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

DOI

A realization theorem for the modal logic of transitive closure K+

Шамканов Д. С., Izvestiya. Mathematics 2025 Vol. 89 No. 2 P. 399–421

We present a justification logic corresponding to the modal logic of transitive closure K+ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs. ...

Добавлено: 13 ноября 2024 г.

On structural proof theory of the modal logic K+ extended with infinitary derivations

Шамканов Д. С., / Series arXiv "math". 2023.

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

Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

Разумный П. М., Шамканов Д. С., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 64–66.

Добавлено: 26 октября 2023 г.

On algebraic and topological semantics of the modal logic of common knowledge S4CI

Шамканов Д. С., Logic Journal of the IGPL 2024 Vol. 32 No. 1 P. 164–179

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

Modal logics with transitive closure: Completeness, decidability, filtration

Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.

Добавлено: 2 декабря 2020 г.

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs

Саватеев Ю. В., Шамканов Д. С., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.

Добавлено: 16 сентября 2019 г.

Non-well-founded proofs for the Grzegorczyk modal logic

Yury Savateev, Daniyar Shamkanov, Review of Symbolic Logic 2021 Vol. 14 No. 1 P. 22–50

Добавлено: 26 февраля 2018 г.

Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs

Саватеев Ю. В., Шамканов Д. С., , in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings.: Springer, 2017. P. 321–335.

Добавлено: 26 сентября 2017 г.