Публикации: Федоришин Б. Р.

An explicit basis for the admissible inference rules in the Godel-Lob logic GL [статья из журнала]
Fedorishin B. R.
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 [статья из журнала]
Rutskii A. N., Fedorishin B. R.
2002, Siberian Mathematical Journal
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Faces of monotonicity and wisdom formulas problem [статья из журнала]
Rybakov V. V., Fedorishin B.
2000, Bulletin of the Section of Logic
присутствует в Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.