Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени

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

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

Идентификатор DOI: 10.17377/smzh.2015.56.309

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

Аннотация: Получены необходимое и достаточное условия допустимости правил вывода линейной многомодальной логики знания и времени LTK r с рефлексивным и интранзитивным отношением времени. Также построена специальная n-характеристическая модель для данной логики.

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

Издание

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

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

Номера страниц: 573-593

ISSN журнала: 00374474

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

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

Персоны

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

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

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.