Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Лукьянчук А. Н.
Публикации в СМЖ:
Лукьянчук А. Н.
,
Рыбаков В. В.
Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
//
Том 56 (2015), Номер 3
, стр. 573–593
Лукьянчук А. Н.
,
Римацкий В. В.
Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
//
Том 54 (2013), Номер 6
, стр. 1304–1314
© Сибирский Математический Журнал, 2003-2006