Неунифицируемость в линейной временной логике знания с многоагентными отношениями
Работа посвящена изучению проблемы унификации в линейной временной логике знания с многоагентными отношениями (в дальнейшем обозначаемой $LFPK$). Данная логика основывается на фреймах (моделях) с временными точками, представленными целыми числами из $Z$ и информационными кластерами $C^i$ для $i \in Z$ с многоагентными отношениями достижимости $R_i$. Первым основным результатом является теорема, описывающая критерий для формул неунифицируемых в $LFPK$. Вторым - построение базиса для всех правил вывода пассивных в $LFPK$.