?
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 Т. 35 № 2 С. 6–21
В статье обсуждается эвристическая схема анализа значимости русской проблематики в корпусе текстов Макса Вебера в связи с завершением издания источниковой базы – Полного собрания сочинений М. Вебера. Указывается на амбивалентное место русских сюжетов в творческом наследии классика: с одной стороны, Россия не являлась центральной темой его размышлений, но с другой – проблематика русской модернизации была тесно связана ...
Добавлено: 20 мая 2026 г.
Поликарпова Д. А., М.: Новое литературное обозрение, 2025.
Может ли кино быть субъектом, а не объектом особой чувственности? В своей книге Дарина Поликарпова утверждает, что да; более того, идея эта не нова и восходит к опытам Дзиги Вертова, Жана Эпштейна и других ранних практиков и теоретиков кино. Увлекшееся в последние десятилетия антропоцентрическими подходами, киноведение перестало учитывать уникальную природу кинематографа, сводя его к тексту, ...
Добавлено: 19 мая 2026 г.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Пильнов И. А., История философии 2024 Т. 29 № 2 С. 39–50
В данной статье предпринимается попытка сравнительного анализа проблематики революции и социализма в философском творчестве Николая Бердяева и Бориса Яковенко. Автор преследует цель сопоставить ключевые философско-политические концепты двух мыслителей для выявления общности и различия их взглядов. Предметом рассмотрения выступают работы Бердяева и Яковенко периода середины 1910-х – 1920-х гг. В статье показано, что с историко-философской точки ...
Добавлено: 18 мая 2026 г.
В психологии активно изучается оценка людьми условных высказываний «если…, то», согласие и несогласие с ними. Эта оценка у людей, не являющихся специалистами в области логики, зачастую сильно расходится с ее требованиями, особенно если наблюдаемая человеком реальность в той или иной степени противоречит формально верному логическому заключению. В эксперименте по разработанной нами методике «Неудобные карандаши» участникам ...
Добавлено: 17 мая 2026 г.
Mamchenkov D. V., Malyutina, AD (Malyutina, Anna D.), Studia Philosophica Kantiana 2022 No. 1 P. 45–55
Добавлено: 17 мая 2026 г.
Гиринский А. А., Вестник Томского государственного университета 2026 № 525 С. 67–73
В данной статье анализируются работы православного богослова и религиозного публициста прот. А. Шмемана, посвященные проблеме секуляризации в обществе модерна. Реконструируется контекст рассуждений Шмемана, связанный с развитием в послевоенное время в США и Европе идей теории модернизации и «секулярной теологии». Отмечается оригинальность трактовки Шмеманом сущности секуляризации как элиминации «сакраментальности богослужения», критически анализируются выводы Шмемана, связанные с ...
Добавлено: 16 мая 2026 г.
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Добавлено: 15 мая 2026 г.
Морозов Д. А., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 1: Богословие. Философия. Религиоведение 2026 № 124 С. 45–58
Статья посвящена анализу понятия «эстетический гуманизм» (ЭГ) в работах В. В. Зеньковского. В его оригинальной концепции ЭГ воспринимается в качестве основного принципа русского секуляризма. Центральное место в статье занимает предложенная Зеньковским историко-философская диалектика, ключом к которой выступает преодоление ЭГ — «духовной болезни» западного происхождения, поразившей русскую интеллигенцию. В данном контексте реконструируется историческая линия развития ЭГ, ...
Добавлено: 14 мая 2026 г.
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 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 г.