Description logics with contraries, contradictories, and subcontraries (Q2478592): Difference between revisions

@@ Property / DOI @@
-.1007/s00354-007-0028-2
@@ Property / DOI: 10.1007/s00354-007-0028-2 / rank @@
-Normal rank
@@ Property / cites work @@
+Constructive predicate logic with strong negation and model theory
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q2715521
@@ Property / cites work: Q2715521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736520
@@ Property / cites work: Q4736520 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715526
@@ Property / cites work: Q2715526 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Vivid logic. Knowledge-based reasoning with two kinds of negation
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532204
@@ Property / cites work: Q4532204 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00354-007-0028-2
@@ Property / DOI: 10.1007/S00354-007-0028-2 / rank @@
+Normal rank