?
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.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 27 октября 2026 г.
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Добавлено: 27 октября 2026 г.
IEEE, 2026.
Добавлено: 26 октября 2026 г.
Капустин Б. Г., М.: Издательство Института Гайдара, 2026.
Что есть политический реализм: фиксация фактов или постижение скрытых тенденций? В утопия - несбыточная мечта или призыв, способный преобразить мир? Наконец, есть ли в политике место для морали? Книга отвечает на эти вопросы через призму наследия Макиавелли. Автор показывает его не советником государей, а моралистом, утопистом и "народным трибуном". Диалог с таким Макиавелли позволяет автору ...
Добавлено: 23 октября 2026 г.
Смирнов М. А., Вестник Томского государственного университета. Философия. Социология. Политология 2026 № 92 С. 283–289
Статья представляет собой анализ некоторых нюансов взаимодействия парадоксов с принципами классической логики, осуществленный в контексте предложенного В. А. Ладовым разграничения превентивных и реактивных решений парадоксов. Подтверждено, что превентивное блокирование парадоксов за счет искусственных правил употребления языка нецелесообразно. Открытость формальных принципов теоретической системы к возникновению парадоксов делает возможной рефлексию над ее содержательными постулатами. Парадокс (дедуцируемость противоречия) служит логическим ...
Добавлено: 23 октября 2026 г.
Смирнов В. Н., Социологическое обозрение 2026 Т. 26 № 2 С. 65–87
Статья посвящена органической теории в социально-философском мировоззрении русского правоведа П. И. Новгородцева. В статье используется метод историко-философской реконструкции, направленный на выявление внутренней логики развития политико-правового учения Новгородцева через контекстуализацию его основных концепций в определенной философской и политико-правовой традиции. Данный подход дает возможность рассматривать критику органицизма и сопряженного с ним историзма как элемент целостного и последовательного ...
Добавлено: 23 октября 2026 г.
Flamarion M. V., Пелиновский Е. Н., Wave Motion 2027 Vol. 148 Article 103867
Добавлено: 23 октября 2026 г.
СПб.: Издательство РХГА, 2026.
Макс Шелер (1874–1928) является одной из ключевых фигур в философии XX века. Прожив сравнительно короткую жизнь, он оставил яркий след в европейской философской мысли, в своих сочинениях осуществив глубокую и фундаментальную разработку основных областей философского знания. Всегда чувствуя актуальные тенденции современного мира и живо, со всей страстью своей спонтанности откликаясь на них, Шелер не случайно ...
Добавлено: 20 октября 2026 г.
Ортега-и-Гассет Х., М.: Ад Маргинем Пресс, 2026.
Книга объединяет два текста испанского философа Хосе Ортега-и-Гассета (1883-1955), посвященных осмыслению роли техники на протяжении истории: "Размышления о технике"- изначально небольшой курс лекций, прочитанных в Летнем университете Сантандера в 1933 году, - и доклад "Миф о человеке за техникой" (1951) в рамках так называемых Дармштадтских бесед. В них Ортега рассуждвет о различиях между человеком и животным, ...
Добавлено: 20 октября 2026 г.
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и предназначен для изучения профессиональных модулей «Защита информации в информационно-телекоммуникационных системах и сетях с использованием программных и программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в автоматизированных системах программными и программно-аппаратными средствами».
Содержание учебника включает в себя аксиоматику теории информации, а также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Носачев П. Г., Studia Religiosa Rossica: научный журнал о религии 2026 № 3 С. 193–200
Рецензия на книгу: Davies O. Troubled by faith: Insanity and the supernatural in the age of the asylum. Oxford: Oxford University Press, 2023. 336 p. ...
Добавлено: 19 октября 2026 г.
25 апреля 2026 г. в журнале «Вопросы философии» состоялся «круглый стол» «Междисциплинарность современной науки как философская проблема. Стиль мышления Владимира Петровича Зинченко», посвященный 90-летнему юбилею этого легендарного отечественного психолога и философа. В обсуждении приняли участие философы-эпистемологи, специалисты в области нейронаук и методологии науки, психологи, историки философии, психотерапевты. Их объединяет не только исследовательский интерес к проблемам ...
Добавлено: 18 октября 2026 г.
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 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 г.