Тип публикации: статья из журнала
Год издания: 2023
Идентификатор DOI: 10.33048/scmi.2023.20.082
Ключевые слова: modal logics, temporal logics, finite model property, linear time, Kripke relational semantics, multi-agent logic, unification
Аннотация: This paper proposes a description of linear multi-agent logic of knowledge $\mathcal{LTK}.{sl}$ that models a linear non-reflexive non-transitive (step-like) temporal process of transition between information clusters - time points. Using modified techniques, we proved the finite approximability of logic. We proposed an approach foПоказать полностьюr solving the main unification problem in logics of a step-like temporal relation. The projectivity and, as a consequence, unitary type of unification in logic are proved.
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 20, № 2
Номера страниц: 1361-1373
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Институт математики им. С.Л. Соболева СО РАН