Yurasova Ekaterina Mikhailovna

Publications in Math-Net.Ru

1. A criterion for admissibility of inference rules in some class of $S4$-logics without the branching property
   
   Sibirsk. Mat. Zh., 44:4 (2003),  726–736