Мультиагентные временные нетранзитивные линейные логики, проблема допустимости

Изучается расширение временной логики — мультиагентная логика на моделях с нетранзитивным линейным временем (в некотором смысле расширение и интервальной логики). Предлагаемые реляционные модели допускают пробелы в отношениях достижимости агентов: информация, достижимая для одного из агентов, может быть недостижима для других. Логический язык использует временные операторы until и Next (для каждого из агентов), через которые могут вводиться модальные операции "‘возможно"’ и "‘необходимо"’. Главная изучаемая проблема для вводимой логики — это проблема распознавания допустимости правил вывода. Ранее эта проблема исследовалась автором для логики с равномерной фиксированной длиной интервалов транзитивности. Здесь не предполагается равномерность длины, и логика расширяется индивидуальными временными операторами для различных агентов. Находится алгоритм, решающий проблему допустимости в данной логике, т. е. он распознаёт допустимые правила вывода.