A Modal Logic for Indiscernibility and Complementarity in Information Systems

Authors:
Philippe Balbiani
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 ...
Venue:
Fundamenta Informaticae
Year:
2002

Citing 5
Cited 0

Modal logics for knowledge representation systems

Theoretical Computer Science
The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics

Theoretical Computer Science
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Relationships between nondeterministic and deterministic tape complexities

Journal of Computer and System Sciences
The Nondeterministic Information Logic NIL is PSPACE-complete

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.