%0 Journal Article %A D. P. Skvortsov %T Logic of infinite problems and Kripke models on atomic semilattices of sets %J Doklady Akademii Nauk %D 1979 %P 798-801 %V 245 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1979_245_4_a7/ %G ru %F DAN_1979_245_4_a7