Babenyshev Sergey Valer'evich

Publications in Math-Net.Ru

1. A Hybrid of Tense Logic $S4_T$ and Multi-Agent Logic with Interacting Agents
   
   J. Sib. Fed. Univ. Math. Phys., 1:4 (2008),  399–409
2. Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz
   
   Algebra Logika, 32:2 (1993),  117–130
3. Decidability of the problem of the admissibility of inference rules in the modal logics S4.2 and S4.2 Grz and the super-intuitionistic logic KC
   
   Algebra Logika, 31:4 (1992),  341–359