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

АБВ
АБВ
АБВ

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

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

по году

Тематика

17 июня 2026 г.

Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией

Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.

17 июня 2026 г.

Интеллектуальная робототехника: кадровый голод и масса возможностей

Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.

17 июня 2026 г.

Каким должно быть образование, чтобы готовить кадры для экономики будущего

Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

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