Logic of Rough Sets

It is shown that the modal system S5 captures the basic propositional aspects of rough set theory. The system S5 is enhanced to define a consequence relation called ‘rough consequence’ to ensure derivability of ‘roughly equal’ formulae. A predicate logic that includes in its ambit all the existing notions of rough set theory, is presented. Its semantics is studied in some detail.