Laboratoire LEIBNIZ - C.N.R.S.
46 av.Félix Viallet
Institute of Telecommunications
Department of Mathematical Logic with Laboratory for Applied Logic
Faculty of Mathematics and Computer Science
blvd James Bouchier 5
We present logical systems for an analysis of data that have the form of descriptions of some objects of an application domain in terms of their attributes. We analyse two types of relationships among objects referred to as indiscernibility and complementarity. We present a modal logic LIC for reasoning about indiscernibility, complementarity and relationships between them. We define a Kripke-style semantics for LIC as well as semantics determined by information systems. We present a sound and complete deduction system for LIC. We also investigate the complexity of the satisfiability problem for LIC.