A Logic for Complete Information Systems

Authors:
Md. Aquil Khan;Mohua Banerjee
Affiliations:
Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India 208 016;Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur, India 208 016
Venue:
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2009

Citing 5
Cited 3

Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Incomplete Information: Structure, Inference, Complexity

Incomplete Information: Structure, Inference, Complexity
Propositional logics from rough set theory

Transactions on rough sets VI

Logics for information systems and their dynamic extensions

ACM Transactions on Computational Logic (TOCL)
Information systems and rough set approximations: an algebraic approach

PReMI'11 Proceedings of the 4th international conference on Pattern recognition and machine intelligence
An update logic for information systems

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

A logic LIS for complete information systems is proposed. The language of LIS contains constants corresponding to attribute and attribute-values. A sound and complete deductive system for the logic is presented. Decidability is also proved.