Publications in Math-Net.Ru
-
Temporal logic of linearly ordered $\alpha$-spaces
Algebra Logika, 47:6 (2008), 723–749
-
Absence of the interpolation property in the calculi $L\alpha$ and $Lf$
Sibirsk. Mat. Zh., 49:1 (2008), 183–188
-
Freedom from the interpolation property for tense calculi associated with Ershov spaces
Algebra Logika, 46:6 (2007), 745–762
-
A Modal Logic That is Complete with Respect to Strictly Linearly Ordered $A$-Models
Algebra Logika, 44:5 (2005), 560–582
-
Modal logics of $\alpha$-spaces
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 5:1 (2005), 40–63
-
A Modal Logic Based on Linearly Ordered $f$-Spaces
Algebra Logika, 42:3 (2003), 320–337
© , 2024