И.Б.Шапировский. О финитной аппроксимируемости и сложности логик сумм шкал Крипке