Covering-based rough sets and modal logics. Part II

The covering-based rough sets in the system C2 and bounded N-morphisms form a category CFN. This category is dually equivalent to the category KFS4 in which objects are Kripke S4-frames and arrows are bounded morphisms. Morphisms over covering structures are defined in order to characterize the modal C2-definability of classes of finite covering frames.