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

Y. Savateev; D. S. Shamkanov

doi:10.1007/978-3-662-59533-6_34

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

18 мая 2026 г.

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

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

15 мая 2026 г.

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

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

15 мая 2026 г.

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

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

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

Публикации

?

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

P. 569–583.

Саватеев Ю. В., Шамканов Д. С.

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

Полный текст

DOI

Ключевые слова: cyclic proofs Non-well-founded proofs Weak Grzegorczyk logic Logic Go Cut-elimination

В книге

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Vol. 11541: Lecture Notes in Computer Science. , Berlin, Heidelberg: Springer, 2019.

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

Шамканов Д. С., Logic Journal of the IGPL 2024 P. 1–46

Добавлено: 29 января 2025 г.

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

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

A realization theorem for the Gödel-Löb provability logic

Шамканов Д. С., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344–1360

Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций. ...

Добавлено: 25 ноября 2016 г.