References

  1. Patrick Blackburn, Maarten de Rijke & Yde Venema (2001): Modal Logic. Cambridge University Press, doi:10.1017/CBO9781107050884.
  2. Johannes Ebbing, Lauri Hella, Peter Lohmann & Jonni Virtema (2015): Boolean dependence logic. To appear in: Journal of Computer and System Sciences.
  3. Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema & Heribert Vollmer (2013): Extended Modal Dependence Logic EMDL. WoLLIC, pp. 126137, doi:10.1007/978-3-642-39992-3_13.
  4. Johannes Ebbing & Peter Lohmann (2012): Complexity of model checking for modal dependence logic. In: SOFSEM 2012: Theory and Practice of Computer Science. Springer, pp. 226237, doi:10.1007/978-3-642-27660-6_19.
  5. Pietro Galliani (2012): Inclusion and Exclusion Dependencies in Team Semantics: On some logics of imperfect information. Annals of Pure and Applied Logic 163, pp. 6884, doi:10.1016/j.apal.2011.08.005.
  6. Valentin Goranko & Martin Otto (2007): Model theory of modal logic. Handbook of Modal Logic, Studies in Logic and Practical Reasoning 3, pp. 249329, doi:10.1016/S1570-2464(07)80008-5.
  7. Lauri Hella, Antti Kuusisto, Arne Meier & Heribert Vollmer (2015): Modal Inclusion Logic: Being Lax is Simpler than Being Strict. arXiv:1504.06409 [cs.LO].
  8. Lauri Hella, Kerkko Luosto, Katsuhiko Sano & Jonni Virtema (2014): The Expressive Power of Modal Dependence Logic. Advances in Modal Logic, pp. 294312.
  9. Jaakko Hintikka & Gabriel Sandu (1989): Informational Independence as a Semantical Phenomenon. Logic, Methodology and Philosophy of Science VIII, pp. 571589, doi:10.1016/S0049-237X(08)70066-1.
  10. Wilfrid Hodges (1997): Compositional semantics for a language of imperfect information. Logic Journal of the IGPL 5, pp. 539563, doi:10.1093/jigpal/5.4.539.
  11. Juha Kontinen, Julian-Steffen Müller, Henning Schnoor & Heribert Vollmer (2014): Modal Independence Logic. Advances in Modal Logic, pp. 353372.
  12. Peter Lohmann & Heribert Vollmer (2013): Complexity Results for Modal Dependence Logic. Studia Logica 101, pp. 343366, doi:10.1007/s11225-013-9483-6.
  13. Raine Rönnholm (November 2014): personal communication.
  14. Merlijn Sevenster (2009): Model-theoretic and Computational Properties of Modal Dependence Logic. J Logic Computation 19, pp. 11571173, doi:10.1093/logcom/exn102.
  15. Jonni Virtema (2014): Complexity of validity for propositional dependence logics. Proceedings of GandALF, pp. 1831, doi:10.4204/EPTCS.161.5.
  16. Jouko Väänänen (2007): Dependence Logic. Cambridge University Press, doi:10.1017/CBO9780511611193.
  17. Jouko Väänänen (2008): Modal dependence logic. In: New Perspectives on Games and Interaction. Amsterdam University Press, pp. 237254.
  18. Fan Yang (2014): On Extensions and Variants of Dependence Logic. University of Helsinki.

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