Линейная ступенчатая логика знания LTK.sl

Аннотация

В работе предложено описание линейной временной многоагентной логики знания $\mathcal{LTK}.{sl}$, моделирующей линейный нерефлексивный нетранзитивный (ступенчатый) временной процесс перехода между информационными сгустками --- моментами времени.

Используя модифицированные техники, удалось доказать финитную аппроксимируемость логики. Предложен подход к решению основной унификационной проблемы в логиках ступенчатого временного отношения. Доказана проективность и, как следствие, унитарность унификации в логике.