A Modal Logic for Indiscernibility and Complementarity in Information Systems.
Philippe BalbianiDimiter VakarelovPublished in: Fundam. Informaticae (2002)
Keyphrases
- modal logic
- information systems
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- rough set theory
- information technology
- rough sets
- classical logic
- incomplete information
- health care
- prime implicates
- default logic
- dynamic logic
- modal operators
- nonmonotonic logics
- conditional logic
- data mining
- explanation based generalization
- probabilistic reasoning