@article(barbero2017some,
 author       = {Fausto Barbero},
 year         = {2017},
 title        = {Some observations about generalized quantifiers in logics of imperfect information},
 journal      = {arXiv preprint arXiv:1709.07301},
)
@article(durand2012hierarchies,
 author       = {Arnaud Durand and Juha Kontinen},
 year         = {2012},
 title        = {Hierarchies in dependence logic},
 journal      = {ACM Transactions on Computational Logic (TOCL)},
 volume       = {13},
 number       = {4},
 pages        = {31},
 doi          = {10.1145/2362355.2362359},
)
@incollection(durand2016expressivity,
 author       = {Arnaud Durand and Juha Kontinen and Heribert Vollmer},
 year         = {2016},
 title        = {Expressivity and complexity of dependence logic},
 booktitle    = {Dependence Logic},
 publisher    = {Springer},
 pages        = {5--32},
 doi          = {10.1007/978-3-319-31803-5_2},
)
@article(engstrom12,
 author       = {Fredrik Engstr{\"o}m},
 year         = {2012},
 title        = {Generalized quantifiers in dependence logic},
 journal      = {Journal of Logic, Language and Information},
 volume       = {21},
 number       = {3},
 pages        = {299--324},
 doi          = {10.1007/s10849-012-9162-4},
)
@article(galliani12,
 author       = {Pietro Galliani},
 year         = {2012},
 title        = {Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {163},
 number       = {1},
 pages        = {68 -- 84},
 doi          = {10.1016/j.apal.2011.08.005},
)
@article(galliani2013epistemic,
 author       = {Pietro Galliani},
 year         = {2013},
 title        = {Epistemic operators in dependence logic},
 journal      = {Studia logica},
 volume       = {101},
 number       = {2},
 pages        = {367--397},
 doi          = {10.1007/s11225-013-9478-3},
)
@inproceedings(galliani13e,
 author       = {Pietro Galliani},
 year         = {2013},
 title        = {Upwards Closed Dependencies in Team Semantics},
 editor       = {Gabriele Puppis and Tiziano Villa},
 booktitle    = {Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification},
 series       = {EPTCS},
 volume       = {119},
 pages        = {93--106},
 doi          = {10.4204/EPTCS.119},
)
@article(galliani2014transition,
 author       = {Pietro Galliani},
 year         = {2014},
 title        = {Transition semantics: the dynamics of dependence logic},
 journal      = {Synthese},
 volume       = {191},
 number       = {6},
 pages        = {1249--1276},
 doi          = {10.1007/s11229-013-0327-8},
)
@incollection(galliani2016strongly,
 author       = {Pietro Galliani},
 year         = {2016},
 title        = {On Strongly First-Order Dependencies},
 booktitle    = {Dependence Logic},
 publisher    = {Springer},
 pages        = {53--71},
 doi          = {10.1007/978-3-319-31803-5_4},
)
@inproceedings(galliani13b,
 author       = {Pietro Galliani and Miika Hannula and Juha Kontinen},
 year         = {2013},
 title        = {{Hierarchies in independence logic}},
 editor       = {Simona Ronchi Della Rocca},
 booktitle    = {Computer Science Logic 2013 (CSL 2013)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {23},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {263--280},
 doi          = {10.4230/LIPIcs.CSL.2013.263},
)
@article(gradel13,
 author       = {Erich Gr\"adel and Jouko V\"a\"an\"anen},
 year         = {2013},
 title        = {Dependence and Independence},
 journal      = {Studia Logica},
 volume       = {101},
 number       = {2},
 pages        = {399--410},
 doi          = {10.1007/s11225-013-9479-2},
)
@inproceedings(hannula2015hierarchies,
 author       = {Miika Hannula},
 year         = {2015},
 title        = {Hierarchies in inclusion logic with lax semantics},
 booktitle    = {Indian Conference on Logic and Its Applications},
 organization = {Springer},
 pages        = {100--118},
 doi          = {10.1007/978-3-662-45824-2_7},
)
@book(hintikka96,
 author       = {Jaakko Hintikka},
 year         = {1996},
 title        = {The Principles of Mathematics Revisited},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511624919},
)
@incollection(hintikkasandu89,
 author       = {Jaakko Hintikka and Gabriel Sandu},
 year         = {1989},
 title        = {{I}nformational independence as a semantic phenomenon},
 editor       = {J.E Fenstad and I.T Frolov and R. Hilpinen},
 booktitle    = {Logic, methodology and philosophy of science},
 publisher    = {Elsevier},
 pages        = {571--589},
 doi          = {10.1016/S0049-237X(08)70066-1},
)
@incollection(hintikkasandu97,
 author       = {Jaakko Hintikka and Gabriel Sandu},
 year         = {1997},
 title        = {Game-{T}heoretical {S}emantics},
 editor       = {Johan van Benthem and Alice T. Meulen},
 booktitle    = {Handbook of Logic and Language},
 publisher    = {Elsevier},
 pages        = {361--410},
 doi          = {10.1016/b978-044481714-3/50009-6},
)
@article(hodges97,
 author       = {Wilfrid Hodges},
 year         = {1997},
 title        = {{C}ompositional {S}emantics for a {L}anguage of {I}mperfect {I}nformation},
 journal      = {Journal of the Interest Group in Pure and Applied Logics},
 volume       = {5 (4)},
 pages        = {539--563},
 doi          = {10.1093/jigpal/5.4.539},
)
@incollection(kontinen13,
 author       = {Juha Kontinen and Sebastian Link and Jouko V{\"a}{\"a}n{\"a}nen},
 year         = {2013},
 title        = {Independence in database relations},
 booktitle    = {Logic, Language, Information, and Computation},
 publisher    = {Springer},
 pages        = {179--193},
 doi          = {10.1007/978-3-642-39992-3_17},
)
@incollection(kontinennu09,
 author       = {Juha Kontinen and Ville Nurmi},
 year         = {2009},
 title        = {Team Logic and Second-Order Logic},
 editor       = {Hiroakira Ono and Makoto Kanazawa and Ruy de Queiroz},
 booktitle    = {Logic, Language, Information and Computation},
 series       = {Lecture Notes in Computer Science},
 volume       = {5514},
 publisher    = {Springer Berlin / Heidelberg},
 pages        = {230--241},
 doi          = {10.1007/978-3-642-02261-6\_19},
)
@unpublished(kuusisto13,
 author       = {Antti Kuusisto},
 year         = {2013},
 title        = {Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)},
 url          = {https://uta17-kk.lib.helsinki.fi/bitstream/handle/10024/68064/defining\_double\_team\_2013.pdf?sequence=1},
 note         = {Manuscript},
)
@article(luck2018complexity,
 author       = {Martin L{\"u}ck},
 year         = {2018},
 title        = {On the Complexity of Team Logic and its Two-Variable Fragment},
 journal      = {arXiv preprint arXiv:1804.04968},
)
@article(ronnholm2015capturing,
 author       = {Raine Ronnholm},
 year         = {2015},
 title        = {Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic},
 journal      = {arXiv preprint arXiv:1502.05632},
)
@book(vaananen07,
 author       = {Jouko V\"a\"an\"anen},
 year         = {2007},
 title        = {Dependence Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511611193},
)
@incollection(vaananen07b,
 author       = {Jouko V\"a\"an\"anen},
 year         = {2007},
 title        = {{T}eam {L}ogic},
 editor       = {J. van Benthem and D. Gabbay and B. L\"owe},
 booktitle    = {{I}nteractive {L}ogic. {S}elected {P}apers from the 7th {A}ugustus de {M}organ {W}orkshop},
 publisher    = {{A}msterdam {U}niversity {P}ress},
 pages        = {281--302},
)