Перевод названия: LINEAR TIME LOGIC OF KNOWLEDGE LTK.SL: SEMANTICS AND FINITE APPROXIMABILITY
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Все грани математики и механики; Томск; Томск
Год издания: 2023
Ключевые слова: modal logics, temporal logics, finite model property, finite approximability, linear time, Kripke relational semantics, multi-agent logic, модальные логики, временные логики, свойство конечной модели, финитная аппроксимируемость, линейное время, реляционна семантика Крипке, многоагентная логика
Аннотация: В работе рассматривается временная логика знания ступенчатого времени, доказано свойство финитной аппроксимируемости, проективная унификация и описаны свойства фреймов логики. The paper considers the temporal logic of knowledge of step time, proves the property of finite approximability, projective unification, and describes the prПоказать полностьюoperties offrames of logic.
Журнал: Все грани математики и механики
Номера страниц: 46-52
Место издания: Томск