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

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

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

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

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

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

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

Издание

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

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

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

ISSN журнала: 00374474

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

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

Авторы

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

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.