Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. - GuoJun Wang; QiaoLin Duan (Sci. China Ser. F Inf. Sci., 2009)