Главная
Новости
Оформление статьи
Архив
Авторы
Поиск
Вход
Рыбаков В. В.
Публикации в СМЖ:
Рыбаков В. В.
Временные мультиагентные логики с мультиозначиваниями
//
Том 59 (2018), Номер 4
, стр. 897–911
Рыбаков В. В.
Интранзитивные временные многоагентные логики, информация и знание, разрешимость
//
Том 58 (2017), Номер 5
, стр. 1128–1143
Лукьянчук А. Н.
,
Рыбаков В. В.
Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
//
Том 56 (2015), Номер 3
, стр. 573–593
Рыбаков В. В.
,
Римацкий В. В.
Сохранение допустимости правил вывода в логиках, родственных $S4.2$
//
Том 43 (2002), Номер 2
, стр. 447–454
© Сибирский Математический Журнал, 2003-2006