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