Fedorishin Bogdan Romanovich

Publications in Math-Net.Ru

1. An explicit basis for the admissible inference rules in the Gödel–Löb logic $GL$
   
   Sibirsk. Mat. Zh., 48:2 (2007),  423–430
2. An inheritance criterion for the admissible inference rules of $K4$
   
   Sibirsk. Mat. Zh., 43:6 (2002),  1350–1361