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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

10 сентября 2026 г.

<a>В НИУ ВШЭ выяснили, что личный интерес к теме диссертации сильнее всего связан с уверенностью в защите

Исследователь из НИУ ВШЭ проанализировал данные 1539 аспирантов из 161 российского университета и выяснил, какие особенности диссертационной темы связаны с успешностью и вовлеченностью в обучение. Самым важным фактором оказался личный интерес к исследованию: он был связан практически со всеми ключевыми сторонами аспирантской жизни — от взаимодействия с научным руководителем до исследовательской активности и уверенности в будущей защите. Результаты опубликованы в журнале Higher Education.

11 сентября 2026 г.

Интересы России и Африки совпадают: в НИУ ВШЭ стартовала конференция по вопросам развития континента

В Центре культур НИУ ВШЭ на Покровском бульваре 10 сентября начала работу двухдневная научно-практическая конференция, посвященная развитию Африки и сотрудничеству стран континента с Россией. Эксперты обсуждают вопросы образования, инвестиций, цифровизации. Одним из ключевых событий конференции стала презентация доклада «Африка 2027. Возможности и риски».

10 сентября 2026 г.

Как возвратить смысл коммуникациям

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

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