Axiomatizing first-order consequences in dependence logic (Q388209): Difference between revisions

@@ Property / arXiv ID @@
+.0176
@@ Property / arXiv ID: 1208.0176 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of Henkin quantifiers
@@ Property / cites work: Some applications of Henkin quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to recursively saturated and resplendent models
+Normal rank
@@ Property / cites work @@
+Hierarchies in Dependence Logic
@@ Property / cites work: Hierarchies in Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+General models and entailment semantics for independence logic
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537410
@@ Property / cites work: Q5537410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3078324
@@ Property / cites work: Q3078324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065541
@@ Property / cites work: Q4065541 / rank @@
+Normal rank