- Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]2004присутствует в РИНЦ (eLIBRARY.RU)
- Допустимые и выводимые правила вывода в нестандартных логиках : автореферат диссертации на соискание ученой степени кандидата физико-математических наук [автореферат диссертации]2004присутствует в РИНЦ (eLIBRARY.RU)
- A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]2003, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.