A Modal Logic for Indiscernibility and Complementarity in Information Systems

• Autorzy: Balbiani P. , Vakarelov D.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

information systems; modal logic; indiscernibility; complementarity

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 50, nr 3,4
• Strony: 243--263
• Opis fizyczny: bibliogr. 15 poz.

Twórcy

autor

Balbiani P.

autor

Vakarelov D.

• Département Intelligence Artificielle et Systemes Cognitifs Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier, 118 Route de Narbonne, 31062 Toulouse CEDEX 4, France,