Theoretical Computer Science
Modal logics for knowledge representation systems
Theoretical Computer Science
Tolerance approximation spaces
Fundamenta Informaticae - Special issue: rough sets
Rough sets through algebraic logic
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Theoretical Computer Science
Rough sets and 3-valued Lukasiewicz logic
Fundamenta Informaticae
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
A modal logic for indiscernibility and complementarity in information systems
Fundamenta Informaticae
Rough Consequence and Rough Algebra
RSKD '93 Proceedings of the International Workshop on Rough Sets and Knowledge Discovery: Rough Sets, Fuzzy Sets and Knowledge Discovery
Rough Logic for Multi-Agent Systems
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
Fundamenta Informaticae
Constructive and algebraic methods of the theory of rough sets
Information Sciences: an International Journal
Rough mereological reasoning in rough set theory: recent results and problems
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Logic for rough sets with rough double stone algebraic semantics
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Transactions on Rough Sets V
A Logic for Complete Information Systems
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Transactions on computational science II
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
Dialectics of counting and the mathematics of vagueness
Transactions on Rough Sets XV
An update logic for information systems
International Journal of Approximate Reasoning
Hi-index | 0.01 |
The article focusses on propositional logics with semantics based on rough sets. Many approaches to rough sets (including generalizations) have come to the fore since the inception of the theory, and resulted in different "rough logics" as well. The essential idea behind these logics is, quite naturally, to interpret well-formed formulae as rough sets in (generalized) approximation spaces. The syntax, in most cases, consists of modal operators along with the standard Boolean connectives, in order to reflect the concepts of lower and upper approximations. Non-Boolean operators make appearances in some cases too. Information systems ("complete" and "incomplete") have always been the "practical" source for approximation spaces. Characterization theorems have established that a rough set semantics based on these "induced" spaces, is no different from the one mentioned above. We also outline some other logics related to rough sets, e.g. logics of information systems - which, in particular, feature expressions corresponding to attributes in their language. These systems address various issues, such as the temporal aspect of information, multiagent systems, rough relations. An attempt is made here to place this gamut of work, spread over the last 20 years, in one platform. We present the various relationships that emerge and indicate questions that surface.