@book(blackburn, author = {Patrick Blackburn and Maarten de Rijke and Yde Venema}, year = {2001}, title = {{Modal Logic}}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781107050884}, ) @article(jonni, author = {Johannes Ebbing and Lauri Hella and Peter Lohmann and Jonni Virtema}, year = {2015}, title = {{ Boolean dependence logic}}, journal = {To appear in: Journal of Computer and System Sciences}, ) @article(emdl, author = {Johannes Ebbing and Lauri Hella and Arne Meier and M\IeC{\"u}ller, Julian-Steffen and Jonni Virtema and Heribert Vollmer}, year = {2013}, title = {{ Extended Modal Dependence Logic EMDL}}, journal = {WoLLIC}, pages = {126\IeC{\textendash}137}, doi = {10.1007/978-3-642-39992-3_13}, ) @incollection(modelcheck, author = {Johannes Ebbing and Peter Lohmann}, year = {2012}, title = {{Complexity of model checking for modal dependence logic}}, booktitle = {SOFSEM 2012: Theory and Practice of Computer Science}, publisher = {Springer}, pages = {226\IeC{\textendash}237}, doi = {10.1007/978-3-642-27660-6_19}, ) @article(galliani, 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 163}, pages = {68\IeC{\textendash}84}, doi = {10.1016/j.apal.2011.08.005}, ) @article(otto, author = {Valentin Goranko and Martin Otto}, year = {2007}, title = {{ Model theory of modal logic}}, journal = {Handbook of Modal Logic, Studies in Logic and Practical Reasoning 3}, pages = {249\IeC{\textendash}329}, doi = {10.1016/S1570-2464(07)80008-5}, ) @article(HKMV15, author = {Lauri Hella and Antti Kuusisto and Arne Meier and Heribert Vollmer}, year = {2015}, title = {{Modal Inclusion Logic: Being Lax is Simpler than Being Strict}}, journal = {arXiv:1504.06409 [cs.LO]}, ) @article(epmdl, author = {Lauri Hella and Kerkko Luosto and Katsuhiko Sano and Jonni Virtema}, year = {2014}, title = {{The Expressive Power of Modal Dependence Logic}}, journal = {Advances in Modal Logic}, pages = {294\IeC{\textendash}312}, ) @article(if, author = {Jaakko Hintikka and Gabriel Sandu}, year = {1989}, title = {{Informational Independence as a Semantical Phenomenon}}, journal = {Logic, Methodology and Philosophy of Science VIII}, pages = {571\IeC{\textendash}589}, doi = {10.1016/S0049-237X(08)70066-1}, ) @article(hodges, author = {Wilfrid Hodges}, year = {1997}, title = {{ Compositional semantics for a language of imperfect information}}, journal = {Logic Journal of the IGPL 5}, pages = {539\IeC{\textendash}563}, doi = {10.1093/jigpal/5.4.539}, ) @article(mil, author = {Juha Kontinen and M\IeC{\"u}ller, Julian-Steffen and Henning Schnoor and Heribert Vollmer}, year = {2014}, title = {{Modal Independence Logic}}, journal = {Advances in Modal Logic}, pages = {353\IeC{\textendash}372}, ) @article(compl, author = {Peter Lohmann and Heribert Vollmer}, year = {2013}, title = {{Complexity Results for Modal Dependence Logic}}, journal = {Studia Logica 101}, pages = {343\IeC{\textendash}366}, doi = {10.1007/s11225-013-9483-6}, ) @article(raine, author = {R\IeC{\"o}nnholm, Raine}, year = {November 2014}, title = {{personal communication}}, ) @article(sevenster, author = {Merlijn Sevenster}, year = {2009}, title = {{Model-theoretic and Computational Properties of Modal Dependence Logic}}, journal = {J Logic Computation 19}, pages = {1157\IeC{\textendash}1173}, doi = {10.1093/logcom/exn102}, ) @article(gandalf, author = {Jonni Virtema}, year = {2014}, title = {{Complexity of validity for propositional dependence logics}}, journal = {Proceedings of GandALF}, pages = {18\IeC{\textendash}31}, doi = {10.4204/EPTCS.161.5}, ) @book(vbuch, author = {V\IeC{\"a}\IeC{\"a}n\IeC{\"a}nen, Jouko}, year = {2007}, title = {{Dependence Logic}}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511611193}, ) @incollection(vaananen, author = {V\IeC{\"a}\IeC{\"a}n\IeC{\"a}nen, Jouko}, year = {2008}, title = {{Modal dependence logic}}, booktitle = {New Perspectives on Games and Interaction}, publisher = {Amsterdam University Press}, pages = {237\IeC{\textendash}254}, ) @phdthesis(yang, author = {Fan Yang}, year = {2014}, title = {{On Extensions and Variants of Dependence Logic}}, school = {University of Helsinki}, )