Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2034690236
@@ Property / OpenAlex ID: W2034690236 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1323
@@ Property / arXiv ID: 1106.1323 / rank @@
+Normal rank
@@ Property / cites work @@
+From IF to BI. A tale of dependence and separation
+Normal rank
@@ Property / cites work @@
+Inclusion dependencies and their interaction with functional dependencies
+Normal rank
@@ Property / cites work @@
+Hierarchies in Dependence Logic
@@ Property / cites work: Hierarchies in Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+A normal form for relational databases that is based on domains and keys
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q3574468
@@ Property / cites work: Q3574468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5755192
@@ Property / cites work: Q5755192 / rank @@
+Normal rank
@@ Property / cites work @@
+Team Logic and Second-Order Logic
@@ Property / cites work: Team Logic and Second-Order Logic / 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 @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logic meets IF modal logic
@@ Property / cites work: Hybrid logic meets IF modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3574474
@@ Property / cites work: Q3574474 / rank @@
+Normal rank