Logics for Temporal Information Systems in Rough Set Theory (Q5875942): Difference between revisions

@@ Property / cites work @@
+A hierarchy of modal logics with relative accessibility relations
+Normal rank
@@ Property / cites work @@
+Open World Models: A View from Rough Set Theory
@@ Property / cites work: Open World Models: A View from Rough Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Logics from Rough Set Theory
@@ Property / cites work: Propositional Logics from Rough Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3000097
@@ Property / cites work: Q3000097 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of modal logics
@@ Property / cites work: Combinations of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic characterization of the AGM theory of belief revision in a temporal logic
+Normal rank
@@ Property / cites work @@
+Relational Attribute Systems II: Reasoning with Relations in Information Structures
+Normal rank
@@ Property / cites work @@
+Incomplete information: Structure, inference, complexity
+Normal rank
@@ Property / cites work @@
+Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Non-deterministic Information Systems
+Normal rank
@@ Property / cites work @@
+A probabilistic approach to rough set theory with modal logic perspective
+Normal rank
@@ Property / cites work @@
+A Logic for Complete Information Systems
@@ Property / cites work: A Logic for Complete Information Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for information systems and their dynamic extensions
+Normal rank
@@ Property / cites work @@
+Logics for some dynamic spaces-I
@@ Property / cites work: Logics for some dynamic spaces-I / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for some dynamic spaces-II
@@ Property / cites work: Logics for some dynamic spaces-II / rank @@
+Normal rank
@@ Property / cites work @@
+An update logic for information systems
@@ Property / cites work: An update logic for information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
+Normal rank
@@ Property / cites work @@
+Rough set approach to incomplete information systems
+Normal rank
@@ Property / cites work @@
+Rules in incomplete information systems
@@ Property / cites work: Rules in incomplete information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038607
@@ Property / cites work: Q3038607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3740276
@@ Property / cites work: Q3740276 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of nondeterministic information
@@ Property / cites work: Logic of nondeterministic information / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of nondeterministic information
@@ Property / cites work: Representation of nondeterministic information / rank @@
+Normal rank
@@ Property / cites work @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+Rough logic
@@ Property / cites work: Rough logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692332
@@ Property / cites work: Q5692332 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for knowledge representation systems
@@ Property / cites work: Modal logics for knowledge representation systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
+Normal rank
@@ Property / cites work @@
+Q4950083
@@ Property / cites work: Q4950083 / rank @@
+Normal rank