Decidability of multi-modal logic $LTK$ of linear time and knowledge

В представленной статье используется семантический подход к построению моделей, комбинирующих модальности знания и времени. Семантически вводятся многомодальные логики $LTK_r$ и $LTK_{ir}$, содержащие модальности знания и времени как множество формул, истинных на фреймах специального вида. Главным результатом работы являются теоремы об эффективной финитной аппроксимируемости и, как следствие, разрешимости данных логик.