Vladimir V. Rybakov, Sergej V. Babenyshev, “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
1993
2.
S. V. Babenyshev, “Bases of admissible inference rules of the modal logics S4.2 and S4.2Grz”, Algebra Logika, 32:2 (1993), 117–130
1992
3.
S. V. Babenyshev, “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
Contact us: