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