- An explicit basis for the admissible inference rules in the Godel-Lob logic GL [статья из журнала]2007, SIBERIAN MATHEMATICAL JOURNALприсутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Критерий наследования допустимых правил вывода для модальной логики К4 : препринт [препринт]2002присутствует в РИНЦ (eLIBRARY.RU)
- An inheritance criterion for the admissible inference rules of K4 [статья из журнала]2002, Siberian Mathematical Journalприсутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
- Faces of monotonicity and wisdom formulas problem [статья из журнала]2000, Bulletin of the Section of Logicприсутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.