Тип публикации: статья из журнала
Год издания: 2015
Идентификатор DOI: 10.17377/smzh.2015.56.309
Ключевые слова: многомодальная логика, временная логика, логика знания, n-характеристическая модель, допустимость правил вывода
Аннотация: Получены необходимое и достаточное условия допустимости правил вывода линейной многомодальной логики знания и времени LTK r с рефлексивным и интранзитивным отношением времени. Также построена специальная n-характеристическая модель для данной логики.
Журнал: Сибирский математический журнал
Выпуск журнала: Т. 56, № 3
Номера страниц: 573-593
ISSN журнала: 00374474
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук