1. [3] Engström, F., “Generalized quantifiers in dependence logic,” to appear in Journal of Logic, Language and Information, preprint, arXiv:1103.0396v4 [math.LO]
2. [5] Grädel, E., and J. Väänänen, “Dependence and independence,” to appear in Studia Logica, preprint, arXiv:1208.5268v1 [cs.LO]
3. [10] Kontinen, J., “Coherence and computational complexity of quantifier-free dependence logic formulas,” pp. 58–77 in Proceedings of Dependence and Independence in Logic (Copenhagen, 2010), edited by J. Kontinen and J. Väänänen, ESSLLI, 2010, http://www.illc.uva.nl/dependence/proceedings.pdf.
4. [12] Kontinen, J., and J. Väänänen, “Axiomatizing first-order consequences in dependence logic,” preprint, arXiv:1208.0176v1 [math. LO].
5. [19] Yang, F., “Expressing second-order sentences in intuitionistic dependence logic,” pp. 118–32 in Proceedings of Dependence and Independence in Logic (Copenhagen, 2010), edited by J. Kontinen and J. Väänänen, ESSLLI, 2010, http://www.illc.uva.nl/dependence/proceedings.pdf.