General models and entailment semantics for independence logic (Q1949170): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1964529895
@@ Property / OpenAlex ID: W1964529895 / rank @@
+Normal rank
@@ Property / cites work @@
+From IF to BI. A tale of dependence and separation
+Normal rank
@@ Property / cites work @@
+Some combinatorics of imperfect information
@@ Property / cites work: Some combinatorics of imperfect information / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized quantifiers in dependence logic
@@ Property / cites work: Generalized quantifiers in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+On definability in dependence logic
@@ Property / cites work: On definability in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3984230
@@ Property / cites work: Q3984230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3574473
@@ Property / cites work: Q3574473 / rank @@
+Normal rank