А. Н. Лукьянчук, В. В. Рыбаков, “Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 2015, том 56, номер 3,страницы 573

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

А. Н. Лукьянчук^a, В. В. Рыбаков^ab

^a Сибирский федеральный университет, Институт математики и фундаментальной информатики, кафедра алгебры и математической логики, пр. Свободный, 79, Красноярск 660041
^b School of Computing, Mathematics and DT, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, UK

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

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

УДК: 510.665

Статья поступила: 02.09.2014

DOI: 10.17377/smzh.2015.56.309