Propositional and predicate logics of incomplete information (Q2060732): Difference between revisions

@@ Property / describes a project that uses @@
+HoTTSQL
@@ Property / describes a project that uses: HoTTSQL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3202969914
@@ Property / OpenAlex ID: W3202969914 / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology-Mediated Query Answering with Data-Tractable Description Logics
+Normal rank
@@ Property / cites work @@
+Q4693184
@@ Property / cites work: Q4693184 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680531
@@ Property / cites work: Q4680531 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936119
@@ Property / cites work: Q4936119 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's Logic, Generalized
@@ Property / cites work: Kleene's Logic, Generalized / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340207
@@ Property / cites work: Q3340207 / rank @@
+Normal rank
@@ Property / cites work @@
+SQL’s Three-Valued Logic and Certain Answers
@@ Property / cites work: SQL’s Three-Valued Logic and Certain Answers / rank @@
+Normal rank
@@ Property / cites work @@
+Logics with aggregate operators
@@ Property / cites work: Logics with aggregate operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772179
@@ Property / cites work: Q5772179 / rank @@
+Normal rank