RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал Сибирского федерального университета. Серия «Математика и физика» // Архив

Журн. СФУ. Сер. Матем. и физ., 2024, том 17, выпуск 5, страницы 679–683 (Mi jsfu1199)

Interval multi-agent logic with reliability operator

[Интервальная многоагентная логика с оператором надёжности]

Vladimir R. Kiyatkin, Vladimir V. Rybakov

Siberian Federal University, Krasnoyarsk, Russian Federation

Аннотация: В предлагаемой статье мы изучаем нетранзитивную временную многоагентную логику с мультиозначиванием агентов и реляционные модели, представляющие надёжные состояния. Эти логики определяются семантически, как множества формул, истинных на линейных моделях с мультиозначиванием. В работе мы предложили основу для такого подхода и разработали технику для вычисления истинностных значений формул. Основной результат касается проблемы разрешимости. Доказано, что рассматриваемая логика разрешима.

Ключевые слова: модальные логики, модели Крипке, многоагентные логики, проблема разрешимости.

УДК: 510.665; 510.643

Получена: 10.04.2024
Исправленный вариант: 19.05.2024
Принята: 24.07.2024

Язык публикации: английский



© МИАН, 2024