References

  1. Samson Abramsky & Jouko Väänänen (2013): Dependence logic, social choice and quantum physics. In preparation.
  2. William W. Armstrong (1974): Dependency Structures of Data Base Relationships.. In: Proc. of IFIP World Computer Congress, pp. 580–583.
  3. Marco A. Casanova & Vânia M. P. Vidal (1983): Towards a sound view integration methodology. In: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, PODS '83. ACM, New York, NY, USA, pp. 36–47, doi:10.1145/588058.588065.
  4. Fredrik Engström (2012): Generalized quantifiers in dependence logic. Journal of Logic, Language and Information 21(3), pp. 299–324, doi:10.1007/s10849-012-9162-4.
  5. Ronald Fagin (1977): Multivalued dependencies and a new normal form for relational databases. ACM Transactions on Database Systems 2, pp. 262–278, doi:10.1145/320557.320571.
  6. Ronald Fagin (1981): A normal form for relational databases that is based on domains and keys. ACM Transactions on Database Systems 6, pp. 387–415, doi:10.1145/319587.319592.
  7. Pietro Galliani (2012): The Dynamics of Imperfect Information. University of Amsterdam. Available at http://dare.uva.nl/record/425951.
  8. Pietro Galliani (2012): Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information. Annals of Pure and Applied Logic 163(1), pp. 68 – 84, doi:10.1016/j.apal.2011.08.005.
  9. Pietro Galliani & Lauri Hella (2013): Inclusion Logic and Fixed Point Logic. ArXiv:1304.4267.
  10. Pietro Galliani & Jouko Väänänen (2013): On Dependence Logic. ArXiv:1305.5948.
  11. Dan Geiger, Azaria Paz & Judea Pearl (1991): Axioms and algorithms for inferences involving probabilistic independence. Information and Computation 91(1), pp. 128 – 141, doi:10.1016/0890-5401(91)90077-F.
  12. Erich Grädel & Jouko Väänänen (2013): Dependence and Independence. Studia Logica 101(2), pp. 399–410, doi:10.1007/s11225-013-9479-2.
  13. Jaakko Hintikka & Gabriel Sandu (1989): Informational independence as a semantic phenomenon. In: J.E Fenstad, I.T Frolov & R. Hilpinen: Logic, methodology and philosophy of science. Elsevier, pp. 571–589, doi:10.1016/S0049-237X(08)70066-1.
  14. Wilfrid Hodges (1997): Compositional Semantics for a Language of Imperfect Information. Journal of the Interest Group in Pure and Applied Logics 5 (4), pp. 539–563, doi:10.1093/jigpal/5.4.539.
  15. Jarmo Kontinen (2013): Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas. Studia Logica 101(2), pp. 267–291, doi:10.1007/s11225-013-9481-8.
  16. Juha Kontinen & Ville Nurmi (2009): Team Logic and Second-Order Logic. In: Hiroakira Ono, Makoto Kanazawa & Ruy de Queiroz: Logic, Language, Information and Computation, Lecture Notes in Computer Science 5514. Springer Berlin / Heidelberg, pp. 230–241, doi:10.1007/978-3-642-02261-6_19.
  17. Antti Kuusisto (2013): Defining a Double Team Semantics for Generalized Quantifiers (Extended Version). Available at https://uta17-kk.lib.helsinki.fi/bitstream/handle/10024/68064/defining_double_team_2013.pdf?sequence=1. Manuscript.
  18. Allen L. Mann, Gabriel Sandu & Merlijn Sevenster (2011): Independence-Friendly Logic: A Game-Theoretic Approach. Cambridge University Press, doi:10.1017/CBO9780511981418.
  19. Jouko Väänänen (2007): Dependence Logic. Cambridge University Press, doi:10.1017/CBO9780511611193.
  20. Jouko Väänänen & Fan Yang (2013): Propositional dependence logic. Manuscript.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org