Team Logic and Second-Order Logic (Q5902156): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02261-6_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1518114393
@@ Property / OpenAlex ID: W1518114393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+On definability in dependence logic
@@ Property / cites work: On definability in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635418
@@ Property / cites work: Q5635418 / rank @@
+Normal rank