%0 Journal Article %A A. D. Yashin %T Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 1984 %P 12-15 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_1984_5_a2/ %G ru %F VMUMM_1984_5_a2