|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Лукьянчук А. Н., Рыбаков В. В. Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени //
Том 56 (2015), Номер 3,
стр. 573593
Получены необходимое и~достаточное условия допустимости правил вывода линейной многомодальной логики знания и~времени $LTK_r$ с~рефлексивным и~ интранзитивным отношением времени. Также построена специальная $n$-характеристическая модель для данной логики.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|