Тип публикации: статья из журнала
Год издания: 2013
Идентификатор DOI: 10.1134/S0037446613060104
Ключевые слова: multimodal logic, linear temporal logic, epistemic logic, axiomatization, n-canonical model
Аннотация: We study the problem of the axiomatization of the linear multimodal logic of knowledge and time LTK (r) with reflexive intransitive time relation. The logic is defined semantically as the set of formulas true on frames of a special kind. The LTK (r) -frames are linear chains of clusters connected by a reflexive intransitive relation R (T) which simulates time. Elements inside a cluster are connected by several equivalence relations imitating the knowledge of different agents. The main result of the article is the proof of the fact that the finite set of formulas proposed by the authors is an axiomatization of the logic LTK (r) with reflexive intransitive time relation.
Издание
Журнал: SIBERIAN MATHEMATICAL JOURNAL
Выпуск журнала: Vol. 54, Is. 6
Номера страниц: 1037-1045
ISSN журнала: 00374466
Место издания: NEW YORK
Издатель: MAIK NAUKA/INTERPERIODICA/SPRINGER
Персоны
- Luk'yanchuk A.N. (Siberian Federal University)
- Rimatskii V.V. (Siberian Federal University)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.