Modal logics for knowledge representation systems
Theoretical Computer Science
What can machines know?: On the properties of knowledge in distributed systems
Journal of the ACM (JACM)
Reasoning about knowledge
Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Rough set approach to incomplete information systems
Information Sciences: an International Journal
Rules in incomplete information systems
Information Sciences: an International Journal
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
Modal Logic for Evaluating Formulas in Incomplete Contexts
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
On the Extension of Rough Sets under Incomplete Information
RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Rough Logic for Multi-Agent Systems
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
Pretopologies and dynamic spaces
Fundamenta Informaticae - Special issue on the 9th international conference on rough sets, fuzzy sets, data mining and granular computing (RSFDGrC 2003)
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formal reasoning with rough sets in multiple-source approximation systems
International Journal of Approximate Reasoning
Dynamic Epistemic Logic
A Logic for Complete Information Systems
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Local and global approximations for incomplete data
Transactions on rough sets VIII
Treating incomplete knowledge in formal concept analysis
Formal Concept Analysis
An update logic for information systems
International Journal of Approximate Reasoning
Rough Sets: Some Foundational Issues
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
| Hi-index | 0.00 |
The article proposes logics for information systems, which provide information about a set of objects regarding a set of attributes. Both “complete” and “incomplete” information systems are dealt with. The language of these logics contains modal operators, and constants corresponding to attributes and attribute values. Sound and complete deductive systems for these logics are presented, and the problem of decidability is addressed. Furthermore, notions of information and information update are defined, and dynamic extensions of the above logics are presented to accommodate these notions. A set of reduction axioms enables us to obtain a complete axiomatization of the dynamic logics.