@article(barbero19,
 author       = {Fausto Barbero},
 year         = {2019},
 title        = {Some observations about generalized quantifiers in logics of imperfect information},
 journal      = {The Review of Symbolic Logic},
 pages        = {1--31},
 doi          = {10.1017/S1755020319000145},
)
@article(cameron01,
 author       = {Peter Cameron and Wilfrid Hodges},
 year         = {2001},
 title        = {{S}ome {C}ombinatorics of {I}mperfect {I}nformation},
 journal      = {The Journal of Symbolic Logic},
 volume       = {66},
 number       = {2},
 pages        = {673--684},
 doi          = {10.2307/2695036},
)
@article(durand2018approximation,
 author       = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema},
 year         = {2018},
 title        = {Approximation and dependence via multiteam semantics},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {83},
 number       = {3-4},
 pages        = {297--320},
 doi          = {10.1007/s10472-017-9568-4},
)
@inproceedings(durand2018probabilistic,
 author       = {Arnaud Durand and Miika Hannula and Juha Kontinen and Arne Meier and Jonni Virtema},
 year         = {2018},
 title        = {Probabilistic team semantics},
 booktitle    = {International Symposium on Foundations of Information and Knowledge Systems},
 organization = {Springer},
 pages        = {186--206},
 doi          = {10.1007/978-3-319-90050-6_11},
)
@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(engstrom2017dependence,
 author       = {Fredrik Engstr{\"o}m and Juha Kontinen and Jouko V{\"a}{\"a}n{\"a}nen},
 year         = {2017},
 title        = {Dependence logic with generalized quantifiers: Axiomatizations},
 journal      = {Journal of Computer and System Sciences},
 volume       = {88},
 pages        = {90--102},
 doi          = {10.1016/j.jcss.2017.03.010},
)
@incollection(galliani11,
 author       = {Pietro Galliani},
 year         = {2011},
 title        = {Sensible Semantics of Imperfect Information},
 editor       = {Mohua Banerjee and Anil Seth},
 booktitle    = {Logic and Its Applications},
 series       = {Lecture Notes in Computer Science},
 volume       = {6521},
 publisher    = {Springer Berlin / Heidelberg},
 pages        = {79--89},
 doi          = {10.1007/978-3-642-18026-2_8},
)
@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(galliani2015upwards,
 author       = {Pietro Galliani},
 year         = {2015},
 title        = {Upwards closed dependencies in team semantics},
 journal      = {Information and Computation},
 volume       = {245},
 pages        = {124--135},
 doi          = {10.1016/j.ic.2015.06.008},
)
@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(galliani18safe,
 author       = {Pietro Galliani},
 year         = {2018},
 title        = {Safe Dependency Atoms and Possibility Operators in Team Semantics},
 booktitle    = {Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany, 26-28th September 2018.},
 pages        = {58--72},
 doi          = {10.4204/EPTCS.277.5},
)
@article(galliani19characterizing,
 author       = {Pietro Galliani},
 year         = {2019},
 title        = {Characterizing downwards closed, strongly first order, relativizable dependencies},
 journal      = {The Journal of Symbolic Logic},
 pages        = {1--34},
 doi          = {10.1017/jsl.2019.12},
)
@inproceedings(gallhella13,
 author       = {Pietro Galliani and Lauri Hella},
 year         = {2013},
 title        = {{Inclusion Logic and Fixed Point 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        = {281--295},
 doi          = {10.4230/LIPIcs.CSL.2013.281},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2013/4203},
)
@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(hannula2018facets,
 author       = {Miika Hannula and {\r A}sa Hirvonen and Juha Kontinen and Vadim Kulikov and Jonni Virtema},
 year         = {2019},
 title        = {Facets of Distribution Identities in Probabilistic Team Semantics},
 editor       = {Francesco Calimeri and Nicola Leone and Marco Manna},
 booktitle    = {Logics in Artificial Intelligence},
 publisher    = {Springer},
 pages        = {304--320},
 doi          = {10.1007/978-3-030-19570-0_20},
)
@article(hannula2016finite,
 author       = {Miika Hannula and Juha Kontinen},
 year         = {2016},
 title        = {A finite axiomatization of conditional independence and inclusion dependencies},
 journal      = {Information and Computation},
 volume       = {249},
 pages        = {121--137},
 doi          = {10.1007/978-3-319-04939-7_10},
)
@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},
)
@book(hodges97b,
 author       = {Wilfrid Hodges},
 year         = {1997},
 title        = {{A} {S}horter {M}odel {T}heory},
 publisher    = {Cambridge University Press},
)
@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},
)
@inproceedings(immerman82,
 author       = {Neil Immerman},
 year         = {1982},
 title        = {Relational queries computable in polynomial time},
 booktitle    = {Proceedings of the fourteenth annual ACM symposium on Theory of computing},
 organization = {ACM},
 pages        = {147--152},
 doi          = {10.1016/S0019-9958(86)80029-8},
)
@article(kontinen2010definability,
 author       = {Juha Kontinen},
 year         = {2010},
 title        = {Definability of second order generalized quantifiers},
 journal      = {Archive for Mathematical Logic},
 volume       = {49},
 number       = {3},
 pages        = {379--398},
 doi          = {10.1007/s00153-010-0177-8},
)
@article(kontinen2014decidable,
 author       = {Juha Kontinen and Antti Kuusisto and Jonni Virtema},
 year         = {2014},
 title        = {Decidable Fragments of Logics Based on Team Semantics},
 journal      = {CoRR},
 volume       = {abs/1410.5037},
 url          = {http://arxiv.org/abs/1410.5037},
)
@inproceedings(kontinen2016decidability,
 author       = {Juha Kontinen and Antti Kuusisto and Jonni Virtema},
 year         = {2016},
 title        = {{Decidability of Predicate Logics with Team Semantics}},
 editor       = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier},
 booktitle    = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {58},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {60:1--60:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.60},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2016/6472},
)
@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},
)
@article(kuusisto2015,
 author       = {Antti Kuusisto},
 year         = {2015},
 title        = {A Double Team Semantics for Generalized Quantifiers},
 journal      = {Journal of Logic, Language and Information},
 volume       = {24},
 number       = {2},
 pages        = {149--191},
 doi          = {10.1007/s10849-015-9217-4},
)
@article(luck2018axioms,
 author       = {Martin L{\"{u}}ck},
 year         = {2018},
 title        = {Axiomatizations of team logics},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {169},
 number       = {9},
 pages        = {928--969},
 doi          = {10.1016/j.apal.2018.04.010},
)
@book(mann11,
 author       = {Allen L. Mann and Gabriel Sandu and Merlijn Sevenster},
 year         = {2011},
 title        = {Independence-Friendly Logic: A Game-Theoretic Approach},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511981418},
)
@phdthesis(ronnholm2018arity,
 author       = {Raine R{\"o}nnholm},
 year         = {2018},
 title        = {Arity Fragments of Logics with Team Semantics},
 school       = {Tampere University},
 url          = {https://tampub.uta.fi/handle/10024/104699},
)
@book(vaananen07,
 author       = {Jouko V\"a\"an\"anen},
 year         = {2007},
 title        = {Dependence Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511611193},
)
@inproceedings(vardi82,
 author       = {Moshe Y Vardi},
 year         = {1982},
 title        = {The complexity of relational query languages},
 booktitle    = {Proceedings of the fourteenth annual ACM symposium on Theory of computing},
 organization = {ACM},
 pages        = {137--146},
 doi          = {10.1145/800070.802186},
)