References

  1. Ashok K. Chandra, Dexter Kozen & Larry J. Stockmeyer (1981): Alternation. J. ACM 28(1), pp. 114–133, doi:10.1145/322234.322243.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Martin Lück (2016): Complete Problems of Propositional Logic for the Exponential Hierarchy. CoRR abs/1602.03050.
  12. Ville Nurmi (2009): Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams. University of Helsinki.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. Jouko Väänänen (2008): Modal dependence logic. New Perspectives on Games and Interaction 4, pp. 237.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org