Сибирский федеральный университет

Перевод названия: 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 properties offrames of logic.

Журнал: Все грани математики и механики

Номера страниц: 46-52

Место издания: Томск

• Зверева Т.Ю. (ФГАОУ ВО «Сибирский федеральный университет»)
• Башмаков С.И. (ФГАОУ ВО «Сибирский федеральный университет»)

• РИНЦ (eLIBRARY.RU)