1. Fausto Barbero (2017): Some observations about generalized quantifiers in logics of imperfect information. arXiv preprint arXiv:1709.07301.
  2. Arnaud Durand & Juha Kontinen (2012): Hierarchies in dependence logic. ACM Transactions on Computational Logic (TOCL) 13(4), pp. 31, doi:10.1145/2362355.2362359.
  3. Arnaud Durand, Juha Kontinen & Heribert Vollmer (2016): Expressivity and complexity of dependence logic. In: Dependence Logic. Springer, pp. 5–32, doi:10.1007/978-3-319-31803-5_2.
  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. 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.
  6. Pietro Galliani (2013): Epistemic operators in dependence logic. Studia logica 101(2), pp. 367–397, doi:10.1007/s11225-013-9478-3.
  7. Pietro Galliani (2013): Upwards Closed Dependencies in Team Semantics. In: Gabriele Puppis & Tiziano Villa: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, EPTCS 119, pp. 93–106, doi:10.4204/EPTCS.119.
  8. Pietro Galliani (2014): Transition semantics: the dynamics of dependence logic. Synthese 191(6), pp. 1249–1276, doi:10.1007/s11229-013-0327-8.
  9. Pietro Galliani (2016): On Strongly First-Order Dependencies. In: Dependence Logic. Springer, pp. 53–71, doi:10.1007/978-3-319-31803-5_4.
  10. Pietro Galliani, Miika Hannula & Juha Kontinen (2013): Hierarchies in independence logic. In: Simona Ronchi Della Rocca: Computer Science Logic 2013 (CSL 2013), Leibniz International Proceedings in Informatics (LIPIcs) 23. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 263–280, doi:10.4230/LIPIcs.CSL.2013.263.
  11. 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.
  12. Miika Hannula (2015): Hierarchies in inclusion logic with lax semantics. In: Indian Conference on Logic and Its Applications. Springer, pp. 100–118, doi:10.1007/978-3-662-45824-2_7.
  13. Jaakko Hintikka (1996): The Principles of Mathematics Revisited. Cambridge University Press, doi:10.1017/cbo9780511624919.
  14. 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.
  15. Jaakko Hintikka & Gabriel Sandu (1997): Game-Theoretical Semantics. In: Johan van Benthem & Alice T. Meulen: Handbook of Logic and Language. Elsevier, pp. 361–410, doi:10.1016/b978-044481714-3/50009-6.
  16. 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.
  17. Juha Kontinen, Sebastian Link & Jouko Väänänen (2013): Independence in database relations. In: Logic, Language, Information, and Computation. Springer, pp. 179–193, doi:10.1007/978-3-642-39992-3_17.
  18. 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.
  19. Antti Kuusisto (2013): Defining a Double Team Semantics for Generalized Quantifiers (Extended Version). Available at Manuscript.
  20. Martin Lück (2018): On the Complexity of Team Logic and its Two-Variable Fragment. arXiv preprint arXiv:1804.04968.
  21. Raine Ronnholm (2015): Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic. arXiv preprint arXiv:1502.05632.
  22. Jouko Väänänen (2007): Dependence Logic. Cambridge University Press, doi:10.1017/CBO9780511611193.
  23. Jouko Väänänen (2007): Team Logic. In: J. van Benthem, D. Gabbay & B. Löwe: Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop. Amsterdam University Press, pp. 281–302.

Comments and questions to:
For website issues: