A duality between Pawlak's knowledge representation systems and bi-consequence systems (Q1896761): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
@@ Property / cites work: MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for knowledge representation logics
+Normal rank
@@ Property / cites work @@
+Representation of nondeterministic information
@@ Property / cites work: Representation of nondeterministic information / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems theoretical foundations
@@ Property / cites work: Information systems theoretical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003537
@@ Property / cites work: Q4003537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4024050
@@ Property / cites work: Q4024050 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Q4694256
@@ Property / cites work: Q4694256 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729757
@@ Property / cites work: Q4729757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3982060
@@ Property / cites work: Q3982060 / rank @@
+Normal rank