Тип публикации: статья из журнала

Год издания: 2022

Идентификатор DOI: 10.18778/0138-0680.2022.16

Ключевые слова: finite model property, kripke semantic, modal logic, multi-agent system, non-transitive time, p-morphism, step-like, unification, universal modality

Аннотация: This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality LT K.slU based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic. © Copyright by Author(s), Łódź 2022.

Журнал: Bulletin of the Section of Logic

Выпуск журнала: Vol. 51, Is. 3

Номера страниц: 345-361

ISSN журнала: 01380680

Издатель: Lodz University

• Zvereva T.Yu. (Siberian Federal University, Department of Algebra and Mathematical Logic, Svobodny #79, Krasnoyarsk, 660041, Russian Federation)
• Bashmakov S.I. (Siberian Federal University, Department of Algebra and Mathematical Logic, Svobodny #79, Krasnoyarsk, 660041, Russian Federation)

• Scopus