Rutskii Aleksei Nikolaevich

Publications in Math-Net.Ru

1. An admissibility criterion for inference rules with metavariables in the modal logic $S4.\alpha_N$
   
   Sibirsk. Mat. Zh., 48:2 (2007),  396–407
2. An inheritance criterion for the admissible inference rules of $K4$
   
   Sibirsk. Mat. Zh., 43:6 (2002),  1350–1361