The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$

Исследуется линейная мультиагентная логика знаний с использованием моделей с мультиозначиванием. Язык логики содержит унарные операторы: $K_{j}$ — $j$-й агент знает, $ULK_{G}$ — нестабильные локальные знания, $E_{G}$ — стабильные локальные знания в группе, бинарный логический оператор $AP_{G}$ — мнение большинства. Показаны несколько примеров, демонстрирующих разнообразие этого языка и его возможности. Технически доказана разрешимость проблемы выполнимости в результирующих моделях для нашей многоагентной логики, разработана методика проверки и приведено несколько примеров.