Тип публикации: статья из журнала
Год издания: 2024
Ключевые слова: modal logic, temporal logic, common knowledge, Deciding algorithms, multi-agent logic, модальные логики, модели Крипке, многоагентные логики, проблема разрешимости
Аннотация: We study intransitive temporal multi-agent logic with agents’ multi-valuations for formulas letters and relational models representing reliable states. This logic is defined in a semantic as a set of formulas which are true at linear models with multi-valued variables. We propose a background for such approach and a technique for cПоказать полностьюomputation truth values of formulas. Main results concerns solvability problem, we prove that the resulting logic is decidable. В предлагаемой статье мы изучаем нетранзитивную временную многоагентную логику с мультиозначиванием агентов и реляционные модели, представляющие надёжные состояния. Эти логики определяются семантически, как множества формул, истинных на линейных моделях с мультиозначиванием. В работе мы предложили основу для такого подхода и разработали технику для вычисления истинностных значений формул. Основной результат касается проблемы разрешимости. Доказано, что рассматриваемая логика разрешима.
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т. 17, № 5
Номера страниц: 679-683
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Сибирский федеральный университет