?
Gamma graph calculi for modal logics
Synthese. 2017. Vol. 195. No. 8. P. 3621–3650.
Ma M., Пиетаринен А. Ю.
Федянин Д. Н., , in: 17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II. Social Computing and Social Media. LNCS, volume 15787Vol. 2.: Switzerland: Springer, 2025. P. 247–256.
Добавлено: 13 декабря 2025 г.
Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84
В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...
Добавлено: 14 октября 2025 г.
Боброва А. С., Праксема. Проблемы визуальной семиотики 2024 № 2(40) С. 32–56
Проводится параллель между логической теорией Ч. Пирса – теорией экзистенциальных графов, и психологической теорией Ф. Джонсона-Лэрда – теорией ментальных моделей. В свое время теория экзистенциальных графов оказала заметное влияние на становление теории ментальных моделей, однако возможности их сотрудничества исчерпаны не были. В работе дается краткая характеристика обеих теорий, а также разбираются аспекты, в которых они ...
Добавлено: 27 августа 2024 г.
Долгоруков В. В., Попова Е. Л., , in: Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts.: Milan: University of Milan, 2023. P. 90–90.
В докладе представлена эпистемическая логика для агентов с задержкой в осведомленности. ...
Добавлено: 26 ноября 2023 г.
Долгоруков В. В., Гладышев М. А., , in: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts.: M.: ., 2023. P. 20–23.
В докладе представлена динамическая эпистемическая логика для агентов с бюджетными ограничениями. ...
Добавлено: 26 ноября 2023 г.
Боброва А. С., Пиетаринен А. Ю., Pragmatics and Cognition 2022 Vol. 29 No. 1 P. 111–134
Добавлено: 31 октября 2022 г.
Боброва А. С., Пиетаринен А. Ю., , in: Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected PapersVol. 12226: Software Engineering and Formal Methods.: Champaign: Springer, 2020. P. 195–205.
Добавлено: 20 октября 2022 г.
Долгоруков В. В., Maksim Gladyshev, , in: Dynamic Logic. New Trends and Applications. 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected PapersVol. 13780.: Cham: Springer, 2023. P. 56–72.
В статье предлагается динамическая эпистемическая логика, позволяющая моделировать публичные объявления агентов относительно ресурсно-зависимого знания. ...
Добавлено: 31 июля 2022 г.
В.В. Долгоруков, Логические исследования 2022 Т. 28 № 1 С. 9–26
Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся ...
Добавлено: 16 мая 2022 г.
Добавлено: 11 декабря 2021 г.
Добавлено: 11 декабря 2021 г.
Долгоруков В. В., В кн.: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. С. 86–89.
Рассматриваются две разновидности потенциального знания группы: дистрибутивное знание, определяемое через пересечение отношений достижимости агентов, и имплицитное знание, определяемое через логическое следствие из конъюнкции фактов, известных агентам по отдельности. Демонстрируется, что в классе конечных модально различимых моделей эти понятия совпадают. Рассматриваются варианты модификации имплицитного знания. Демонстрируется, что все рассматриваемые варианты в классе конечных модально различимых моделей ...
Добавлено: 28 июня 2021 г.
Попова Е. Л., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.
Данная статья посвящена формализации широкого спектра сценариев изменения знаний с течением времени. Мы исследуем комбинации временных и эпистемических модальностей, отражающих различные свойства рассуждений рациональных агентов. Для этой цели вводим модель 𝐸𝐸𝑀 – эволюционную эпистемическую модель. ...
Добавлено: 28 июня 2021 г.
Пиетаринен А. Ю., Bellucci F., Chiffi D., IfCoLoG Journal of Logics and their Applications 2021 Vol. 8 No. 2 P. 353–376
Добавлено: 22 апреля 2021 г.
Боброва А. С., Эпистемология и философия науки 2020 Т. 57 № 3 С. 176–189
Наконец-то увидела свет первая книга Пирсианы. Пирсиана задумана как новая серия, в которой планируется публиковать многие ранее неопубликованные поздние работы Пирса, а также труды современных исследователей, которые развивают идеи, высказанные американским мыслителем. Издание открывают три тома манускриптов «Логики Будущего». Именно так назвал Пирс свою теорию экзистенциальных графов, то есть диаграмматический логический проект, состоящий из разделов, ...
Добавлено: 19 апреля 2021 г.
Шумилина В. А., / Series HUM "Humanities". 2020.
Добавлено: 15 ноября 2020 г.