Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени

Описание

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

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

Ключевые слова: много-модальная логика, линейная временная логика, логика знания, аксиоматизация, n-каноническая модель

Аннотация: Исследуется вопрос аксиоматизации линейной много-модальной пропозициональной логики знания и времени LTKr с рефлексивным и интранзитивным отношением времени. Логика определяется семантически как множество формул, истинных на фреймах специального вида. LTKr-фреймы представляют собой линейные цепочки сгустков, связанных рефлексивным Показать полностьюи интранзитивным отношением Rt, имитирующим время. Элементы внутри сгустка связаны несколькими отношениями эквивалентности, имитирующими знания различных агентов. Основным результатом работы является доказательство того, что предложенный авторами конечный набор формул есть аксиоматизация логики LTKr с рефлексивным и интранзитивным отношением времени.

Ссылки на полный текст

Издание

Журнал: Сибирский математический журнал

Выпуск журнала: Т. 54, 6

Номера страниц: 1304-1314

ISSN журнала: 00374474

Место издания: Новосибирск

Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук

Авторы

Вхождение в базы данных