DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS (Q5177884): Difference between revisions

@@ Property / cites work @@
+Generalized quantifiers in dependence logic
@@ Property / cites work: Generalized quantifiers in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of informational independence and its applications
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential second-order logic over graphs
@@ Property / cites work: Existential second-order logic over graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q3077957
@@ Property / cites work: Q3077957 / rank @@
+Normal rank