Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interval-set-valued information table takes an interval set of values. Consequently, two types of satisfiabilities of a formula are introduced. Truth values of formulas are defined to be interval-valued, instead of single-valued. A semantics model of the proposed logic language is studied.
Y. Y. Yao, Qing Liu