Abstract

Each information system leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantics of modal logics. While relations of indiscernibility and their logics have been frequently studied, the situation in the case of relations which distinguish objects is much less clear. In this paper, we present complete logical systems for relations of complementarity derived from information systems