?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
М.: Наука и технологии, 2026.
«Телекоммуникации» ежемесячный рецензируемый производственный, информационно-аналитический и учебно-методический журнал выходит в свет с июля 2000 г.
Для руководителей и работников промышленности, научно-исследовательских и проектно-конструкторских институтов, высших учебных заведений, аспирантов и студентов, а также для специалистов, разрабатывающих, выпускающих и эксплуатирующих средства телекоммуникаций.
Новости разработок и производства, прогнозы развития, защита информации, Нормативные, справочные, аналитические и учебно-методические материалы.
Переход к глобальному информационному ...
Добавлено: 4 июля 2026 г.
МФТИ, 2025.
абота редакции научного журнала «Труды Московского физико-технического института» (кратко «Труды МФТИ»), редакционной коллегии и редакционного совета осуществляется в соответствии с Положением, утвержденным ректором института. В состав редакционной коллегии входят руководители института, факультетов, институтских и факультетских кафедр. Главный редактор журнала —президент МФТИ, член-корр. РАН Кудрявцев Н.Н.
Журнал «Труды МФТИ» входит в базу данных РИНЦ (Российский Индекс Научного Цитирования) и доступен в электронной ...
Добавлено: 4 июля 2026 г.
Хестанов Р. З., Логос 2026 Т. 36 № 3 С. 1–19
Статья предлагает аффективную теорию социального порядка, отправной точкой которой служит феномен испанского стыда – переживания неловкости, возникающего у наблюдателя при созерцании чужого социального провала. Прослеживая три конкурирующие этимологические версии самого выражения, автор показывает, что неопределенность происхождения слова является не дефектом, а аналитическим ресурсом: каждая версия указывает на отдельное измерение феномена. Нейробиологические данные фиксируют, что переживание ...
Добавлено: 1 июля 2026 г.
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
М.: ИСАА МГУ имени М.В. Ломоносова, 2023.
Издание представляет собой сборник материалов I Международной научно-образовательной конференция «Пейсиковские чтения: проблемы современного академического востоковедения», проведённой 21 апреля 2023 года в ИСАА МГУ имени М.В. Ломоносова. В книге представлены работы сотрудников Института и приглашённых специалистов из ряда ведущих институтов России и зарубежных стран
Сборник в электронном виде можно скачать по ссылке http://iranistika.iling-ran.ru/Sbornik/ ...
Добавлено: 30 июня 2026 г.
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
Моторов Д. А., Respublica Literaria 2026 Т. 7 № 2 С. 123–134
В статье рассматриваются критические воззрения философа и социального критика Ивана Иллича на наступление Нового времени. Критика модерна Илличем основывается на рассмотрении аксиологического разрыва данной эпохи, приведшего к трансформации ключевых ценностей человеческого бытия. Противопоставляя вернакулярные, т. е. локально-естественные, ценности экономическим, Иллич на примере речи и обитания показывает, как именно исторически происходит данная трансформация, открывающая путь формированию ...
Добавлено: 29 июня 2026 г.
Жукова О. А., Философский журнал (Российская Федерация) 2026 Т. 19 № 2 С. 5–22
В статье рассматривается одна из ключевых проблем философии российской истории, связанная с оценкой политических и моральных следствий декабрьского восстания 1825 г. Показывается, что декабрьский заговор аристократии разрушил патриотический консенсус между властью и обществом, сложившийся после победы в Отечественной войне 1812 г., что стало тяжелой моральной травмой для образованного класса. Драматические последствия столкновения внутри элиты привели к трансформации ...
Добавлено: 28 июня 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 г.