Publications in Math-Net.Ru
-
Normal companions of intuitionistic modal logics
Algebra Logika, 61:6 (2022), 659–686
-
Some modal operators over intuitionistic logic
Algebra Logika, 53:6 (2014), 770–775
-
Composition of an intuitionistic negation and negative modalities as a necessity operator
Algebra Logika, 52:3 (2013), 305–331
-
Finite model property for negative modalities
Sib. Èlektron. Mat. Izv., 10 (2013), 1–21
-
A Double Negation Operator in Logic $N^*$
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:4 (2013), 68–83
-
A hybrid calculus for logic $N^*$: Residual finiteness and decidability
Algebra Logika, 50:3 (2011), 351–367
© , 2024