Сибирский Математический Журнал :: Информация об авторе

Римацкий В. В.

Публикации в СМЖ:

Лукьянчук А. Н., Римацкий В. В. Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени // Том 54 (2013), Номер 6, стр. 1304–1314

Римацкий В. В. Явный базис допустимых правил вывода модальных логик, расширяющих $S4.1, Grz$ // Том 50 (2009), Номер 4, стр. 872–882

Рыбаков В. В., Римацкий В. В. Сохранение допустимости правил вывода в логиках, родственных $S4.2$ // Том 43 (2002), Номер 2, стр. 447–454

© Сибирский Математический Журнал, 2003-2006