Тип публикации: статья из журнала
Год издания: 2013
Ключевые слова: много-модальная логика, линейная временная логика, логика знания, аксиоматизация, n-каноническая модель
Аннотация: Исследуется вопрос аксиоматизации линейной много-модальной пропозициональной логики знания и времени LTKr с рефлексивным и интранзитивным отношением времени. Логика определяется семантически как множество формул, истинных на фреймах специального вида. LTKr-фреймы представляют собой линейные цепочки сгустков, связанных рефлексивным Показать полностьюи интранзитивным отношением Rt, имитирующим время. Элементы внутри сгустка связаны несколькими отношениями эквивалентности, имитирующими знания различных агентов. Основным результатом работы является доказательство того, что предложенный авторами конечный набор формул есть аксиоматизация логики LTKr с рефлексивным и интранзитивным отношением времени.
Журнал: Сибирский математический журнал
Выпуск журнала: Т. 54, № 6
Номера страниц: 1304-1314
ISSN журнала: 00374474
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук