Ashok K. Chandra, Dexter Kozen & Larry J. Stockmeyer (1981):
Alternation.
J. ACM 28(1),
pp. 114–133,
doi:10.1145/322234.322243.
Arnaud Durand, Juha Kontinen & Heribert Vollmer (2016):
Expressivity and Complexity of Dependence Logic.
Springer, In Press,
doi:10.1007/978-3-319-31803-5_2.
Pietro Galliani (2012):
Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information.
Ann. Pure Appl. Logic 163(1),
pp. 68–84,
doi:10.1016/j.apal.2011.08.005.
Pietro Galliani, Miika Hannula & Juha Kontinen (2013):
Hierarchies in independence logic.
In: 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.
Miika Hannula, Juha Kontinen, Jonni Virtema & Heribert Vollmer (2015):
Complexity of Propositional Independence and Inclusion Logic.
In: Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I,
pp. 269–280,
doi:10.1007/978-3-662-48057-1_21.
Lauri Hella, Antti Kuusisto, Arne Meier & Heribert Vollmer (2015):
Modal Inclusion Logic: Being Lax is Simpler than Being Strict.
In: Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I,
pp. 281–292,
doi:10.1007/978-3-662-48057-1_22.
Jaakko Hintikka & Gabriel Sandu (1989):
Informational Independence as a Semantical Phenomenon.
In: Ivan T. Frolov Jens Erik Fenstad & Risto Hilpinen: Logic, Methodology and Philosophy of Science VIIIProceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science,
Studies in Logic and the Foundations of Mathematics 126.
Elsevier,
pp. 571 – 589,
doi:10.1016/S0049-237X(08)70066-1.
Juha Kontinen & Ville Nurmi (2011):
Team Logic and Second-Order Logic.
Fundam. Inform. 106(2-4),
pp. 259–272,
doi:10.3233/FI-2011-386.
Antti Kuusisto (2015):
A Double Team Semantics for Generalized Quantifiers.
Journal of Logic, Language and Information 24(2),
pp. 149–191,
doi:10.1007/s10849-015-9217-4.
Markus Lohrey (2012):
Model-checking hierarchical structures.
Journal of Computer and System Sciences 78(2),
pp. 461–490,
doi:10.1016/j.jcss.2011.05.006.
Martin Lück (2016):
Complete Problems of Propositional Logic for the Exponential Hierarchy.
CoRR abs/1602.03050.
Ville Nurmi (2009):
Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams.
University of Helsinki.
Gary L. Peterson, John H. Reif & Salman Azhar (2001):
Lower bounds for multiplayer noncooperative games of incomplete information.
Computers & Mathematics with Applications 41(7-8),
pp. 957–992,
doi:10.1016/S0898-1221(00)00333-3.
Larry J. Stockmeyer & Albert R. Meyer (1973):
Word Problems Requiring Exponential Time: Preliminary Report.
In: Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA,
pp. 1–9,
doi:10.1145/800125.804029.
Jouko A. Väänänen (2007):
Dependence Logic - A New Approach to Independence Friendly Logic.
London Mathematical Society student texts 70.
Cambridge University Press,
doi:10.1017/CBO9780511611193.
Jonni Virtema (2014):
Complexity of validity for propositional dependence logics.
In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.,
pp. 18–31,
doi:10.4204/EPTCS.161.5.
Jouko Väänänen (2008):
Modal dependence logic.
New Perspectives on Games and Interaction 4,
pp. 237.