Constructive Description Logics Hybrid-Style (Q4917077): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Actions Over a Constructive Semantics for Description Logics
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Towards constructive DL for abstraction and refinement
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Constructive K into Intuitionistic K
@@ Property / cites work: Embedding Constructive K into Intuitionistic K / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for reasoning in four-valued Description Logics
+Normal rank
@@ Property / cites work @@
+Q4837261
@@ Property / cites work: Q4837261 / rank @@
+Normal rank