A Modal Logic for Indiscernibility and Complementarity in Information Systems

Article type: Research Article

Authors: Balbiani, Philippe

Affiliations: Département Intelligence Artificielle et Systèmes Cognitifs, Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, 118 Route de Narbonne, 31062 Toulouse CEDEX 4, France

Abstract: In this paper, we study indiscernibility relations and complementarity relations in information systems. The first-order characterization of indiscernibility and complementarity is obtained through a duality result between information systems and certain structures of relational type characterized by first-order conditions. The modal analysis of indiscernibility and complementarity is performed through a modal logic which modalities correspond to indiscernibility relations and complementarity relations in information systems.

Keywords: information systems, modal logic, indiscernibility, complementarity

Journal: Fundamenta Informaticae, vol. 50, no. 3-4, pp. 243-263, 2002