?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В психологии активно изучается оценка людьми условных высказываний «если…, то», согласие и несогласие с ними. Эта оценка у людей, не являющихся специалистами в области логики, зачастую сильно расходится с ее требованиями, особенно если наблюдаемая человеком реальность в той или иной степени противоречит формально верному логическому заключению. В эксперименте по разработанной нами методике «Неудобные карандаши» участникам ...
Добавлено: 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 г.
Балашов Д. В., Антиномии 2026 Т. 26 № 1 С. 27–48
Движение эффективного альтруизма, набравшее популярность в начале XXI в., является одной из новых форм философии утилитаризма, оказавшей сильное влияние на англо-американскую философию в XIX–XX вв. Одним из отличительных признаков эффективного альтруизма является его практическая ориентированность. Движение позиционирует себя как то, что способно оказать влияние на окружающий мир и изменить его к лучшему. Для этого требуется ...
Добавлено: 13 мая 2026 г.
Балашов Д. В., Человек 2026 Т. 37 № 2 С. 135–150
Одним из наиболее обсуждаемых в науке и философии подходов к пониманию морали в последние годы стала социально-интуитивистская концепция морали американского психолога Джонатана Хайдта. Автор создал сложную концепцию, состоящую из нескольких больших частей, логически связанных друг с другом, каждая из которых заслуживает отдельного внимания. Первая часть — это тезис о том, что определяющую роль в моральном ...
Добавлено: 13 мая 2026 г.
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009
Добавлено: 11 мая 2026 г.
Hecht M., Hofmann P., Wicaksono D. и др., IMA Journal of Numerical Analysis 2026 Vol. 00 P. 1–30
Добавлено: 11 мая 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 г.