Сибирский федеральный университет

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

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

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

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

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

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

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

ISSN журнала: 00374474

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

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

• Лукьянчук Александра Николаевна (Сибирский федеральный университет)
• Римацкий Виталий Валентинович (Сибирский федеральный университет)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК