Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени

Исследуется вопрос аксиоматизации линейной много-модальной пропозициональной логики знания и времени $LTK_r$ с рефлексивным и интранзитивным отношением времени. Логика определяется семантически как множество формул, истинных на фреймах специального вида. $LTK_r$-фреймы представляют собой линейные цепочки сгустков, связанных рефлексивным и интранзитивным отношением $R_T$ , имитирующим время. Элементы внутри сгустка связаны несколькими отношениями эквивалентности, имитирующими знания различных агентов. Основным результатом работы является доказательство того, что предложенный авторами конечный набор формул есть аксиоматизация логики $LTK_r$ с рефлексивным и интранзитивным отношением времени.