Библиографическое описание:Rybakov, Vladimir. Multi-Agents` Temporal Logic using Operations of Static Agents` Knowledge = Мультиагентная временная логика с операциями статистического знания агентов / V. V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2022. - Т. 15, № 1. - С. 114-124. - Библиогр.: с. 122-124. - ISSN 1997-1397.
Аннотация:Исследуется мультиагентная временная логика с нестандартными нетранзитивными отношениями временной достижимости и операциями статического знания агентов. Находится алгоритм, решающий проблему выполнимости и разрешимости.
