?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
Добавлено: 7 сентября 2026 г.
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
Очеретяный К. А., Галактика медиа: журнал медиа исследований 2026 Т. 7 № 2 С. 85–102
Интерфейсы включают, чтобы отключиться - от ситуации вокруг, от настойчивого опыта внешнего мира, от ближних. Именно эту способность интерфейсов легитимировать «отсутствие» обычно забывают при их аналитике, так как акцент делается на концентрации, управлении, контроле. В действительности же интерфейсы не столько прагматичны и утилитарны, сколько экспериментальны и перверсивны. В данной статье вводится понятие онтологических стилей, а ...
Добавлено: 7 сентября 2026 г.
При всей кажущейся ясности и недвусмысленности понятия «свобода» дать ему исчерпывающую научную дефиницию весьма затруднительно. У каждой отрасли знания свой подход к трактовке этого многоаспектного понятия. В ходе обсуждения, материалы которого вошли в настоящий сборник, свобода рассматривается с позиций философии, социологии, юриспруденции, психологии, нейрофизиологии и т.д.
Участники дискуссии рассуждают о границах свободы воли и субъектности человека, о соотношении свободы и ...
Добавлено: 6 сентября 2026 г.
Потехина И. П., Вестник Санкт-Петербургского университета. Серия 2. История 2026 Т. 71 № 2 С. 525–533
Рецензия посвящена четвертому тому «Истории римских пап» (2024), являющемуся продолжением многолетнего научного проекта московского философа и историка В.Л.Задворного. Рассматриваемый том посвящен папам XI - начала XIII в. и в целом продолжает традиции, заложенные в предшествующих томах (изданы в 1995, 1997 и 2019 гг.). Автор рецензии отмечает, что, несмотря на название, книга по-прежнему представляет собой скорее ...
Добавлено: 3 сентября 2026 г.
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Ермоленко Г. А., Кожевников С. Б., М.: Эксмо, 2026.
Социально-гуманитарные знания помогают осваивать социальные нормы и ценности российской цивилизации. Каждый модуль обществознания связан с особой сферой общественной жизни человека, с деятельностью по реализации его духовных потребностей и социальных интересов. Осознание общественной природы своих потребностей — важный шаг к пониманию человеком самого себя, прояснению целей своей жизни, развитию чувства сопричастности сообществу, ценностям и идеалам культуры.
Российское ...
Добавлено: 31 августа 2026 г.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Саватеев Ю. В., Шамканов Д. С., , 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 г.
Yury Savateev, Daniyar Shamkanov, Review of Symbolic Logic 2021 Vol. 14 No. 1 P. 22–50
Добавлено: 26 февраля 2018 г.
Шамканов Д. С., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344–1360
Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций. ...
Добавлено: 25 ноября 2016 г.