Publications in Math-Net.Ru
-
Filtration safe operations on frames
Advances in Modal Logic, 12 (2014), 333–352
-
Sequential Reflexive Logics with Noncontingency Operator
Mat. Zametki, 72:6 (2002), 853–868
-
Relative interpretability of modal logics
Fundam. Prikl. Mat., 7:1 (2001), 47–69
-
Sequential logic of arithmetic decidability
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 6, 43–48
-
Linear modalities in mininal logic
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2001, no. 4, 47–50
-
The Craig interpolation property in logics of proofs with a strong provability operator
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1997, no. 4, 53–55
© , 2024