Изучается нетранзитивная временная мульти-агентная логика с мультиозначиваниями агентов для переменных и формул. Ранее время и знание моделировались с
помощью моделей Крипке, структура которых выглядела как простой единый кластер с множеством отношений достижимости для агентов. Здесь мы развиваем этот подход и используем
модели Крипке, которые представляют собой линейное нетранзитивное время и состояния,
представленные произвольными временными кластерами для мульти-отношений достижимости
агентов. Эта логика определяется семантически, как множество формул, истинных на линейных
моделях с мульти-означиваниями переменных и кластерами состояний. Мы предлагаем обоснование такого подхода и методику вычисления истинностных значений формул. Основные результаты
касаются проблемы разрешимости. Мы доказываем, что полученная логика разрешима и финитно
аппроксимируема
