@book(blackburn,
 author       = "Patrick Blackburn and Maarten de~Rijke and Yde Venema",
 year         = "2001",
 title        = "Modal Logic",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 doi          = "10.1017/CBO9781107050884",
)
@article(blassgure,
 author       = "Andreas Blass and Yuri Gurevich",
 year         = "1986",
 title        = "Henkin quantifiers and complete problems",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "32",
 pages        = "1 -- 16",
 doi          = "10.1016/0168-0072(86)90040-0",
)
@article(Ciardelli11,
 author       = "Ivano Ciardelli and Floris Roelofsen",
 year         = "2011",
 title        = "Inquisitive Logic",
 journal      = "Journal of Philosophical Logic",
 volume       = "40",
 number       = "1",
 doi          = "10.1007/s10992-010-9142-6",
)
@article(clarke86,
 author       = "Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla",
 year         = "1986",
 title        = "Automatic verification of finite-state concurrent systems using temporal logic specifications",
 journal      = "ACM T. Progr. Lang. Sys.",
 volume       = "8",
 number       = "2",
 doi          = "10.1145/5397.5399",
)
@inproceedings(co71,
 author       = "Stephen~A. Cook",
 year         = "1971",
 title        = "The complexity of theorem-proving procedures",
 booktitle    = "Proceedings of",
 series       = "STOC '71",
 pages        = "151--158",
 doi          = "10.1145/800157.805047",
)
@inproceedings(EHMMVV13,
 author       = "Johannes Ebbing and Lauri Hella and Arne Meier and Julian-Steffen M{\"u}ller and Jonni Virtema and Heribert Vollmer",
 year         = "2013",
 title        = "Extended Modal Dependence Logic",
 booktitle    = "WoLLIC",
 pages        = "126--137",
 doi          = "10.1007/978-3-642-39992-3\_13",
)
@inproceedings(EbbingL12,
 author       = "Johannes Ebbing and Peter Lohmann",
 year         = "2012",
 title        = "Complexity of Model Checking for Modal Dependence Logic.",
 booktitle    = "SOFSEM",
 series       = "LNCS",
 volume       = "7147",
 publisher    = "Springer",
 pages        = "226--237",
 doi          = "10.1007/978-3-642-27660-6\_19",
)
@inproceedings(ebloya,
 author       = "Johannes Ebbing and Peter Lohmann and Fan Yang",
 year         = "2013",
 title        = "Model Checking for Modal Intuitionistic Dependence Logic",
 booktitle    = "TbiLLC 2011",
 series       = "LNCS",
 volume       = "7758",
 publisher    = "Springer",
 pages        = "231--256",
 doi          = "10.1007/978-3-642-36976-6\_15",
)
@article(galliani13,
 author       = "Pietro Galliani",
 year         = "2013",
 title        = "The Dynamification of Modal Dependence Logic",
 journal      = "Journal of Logic, Language and Information",
 volume       = "22",
 number       = "3",
 pages        = "269--295",
 doi          = "10.1007/s10849-013-9175-7",
)
@article(Graedel:2013,
 author       = "Erich Gr{\"a}del",
 year         = "2013",
 title        = "Model-Checking Games for Logics of Incomplete Information",
 journal      = "Theoretical Computer Science, Special Issue dedicated to GandALF 2011",
 pages        = "2--14",
 doi          = "10.1016/j.tcs.2012.10.033",
)
@inproceedings(Groenendijk07,
 author       = "Jeroen Groenendijk",
 year         = "2007",
 title        = "Inquisitive Semantics: Two Possibilities for Disjunction.",
 booktitle    = "TbiLLC 2007",
 series       = "LNCS",
 volume       = "5422",
 publisher    = "Springer",
 pages        = "80--94",
 doi          = "10.1007/978-3-642-00665-4\_8",
)
@inproceedings(HeLuSaVi14,
 author       = "Lauri Hella and Kerkko Luosto and Katsuhiko Sano and Jonni Virtema",
 year         = "2014",
 title        = "The Expressive Power of Modal Dependence Logic",
 booktitle    = "Advances in Modal Logic 2014",
 url          = "http://arxiv.org/abs/1406.6266",
)
@incollection(hisa89,
 author       = "Jaakko Hintikka and Gabriel Sandu",
 year         = "1989",
 title        = "Informational Independence as a Semantical Phenomenon",
 editor       = "J.~E. Fenstad and I.~T. Frolov and R.~Hilpinen",
 booktitle    = "Logic, Methodology and Philosophy of Science",
 volume       = "8",
 publisher    = "Elsevier",
 address      = "Amsterdam",
 pages        = "571--589",
 doi          = "10.1007/978-94-017-2531-6_3",
)
@article(Hodges97c,
 author       = "Wilfrid Hodges",
 year         = "1997",
 title        = "Compositional Semantics for a Language of Imperfect Information",
 journal      = "Logic Journal of the IGPL",
 volume       = "5",
 number       = "4",
 pages        = "539--563",
 doi          = "10.1093/jigpal/5.4.539",
)
@phdthesis(jarmo,
 author       = "Jarmo~A. Kontinen",
 year         = "2010",
 title        = "Coherence and Complexity in Fragments of Dependence Logic",
 school       = "University of Amsterdam",
 url          = "http://www.illc.uva.nl/Research/Publications/Dissertations/DS-2010-05.text.pdf",
)
@inproceedings(KoKuLoVi:2011,
 author       = "Juha Kontinen and Antti Kuusisto and Peter Lohmann and Jonni Virtema",
 year         = "2011",
 title        = "Complexity of Two-Variable Dependence Logic and IF-Logic",
 series       = " LICS '11",
 publisher    = "IEEE Computer Society",
 pages        = "289--298",
 doi          = "10.1109/LICS.2011.14",
)
@article(la77,
 author       = "Richard~E. Ladner",
 year         = "1977",
 title        = "The Computational Complexity of Provability in Systems of Modal Propositional Logic",
 journal      = "Siam Journal on Computing",
 volume       = "6",
 number       = "3",
 pages        = "467--480",
 doi          = "10.1137/0206033",
)
@article(Lev1973,
 author       = "Leonid~A. Levin",
 year         = "1973",
 title        = "Universal search problems",
 journal      = "Problems of Information Transmission",
 volume       = "9",
 number       = "3",
)
@phdthesis(lohmannthesis,
 author       = "Peter Lohmann",
 year         = "2012",
 title        = "Computational Aspects of Dependence Logic",
 school       = "Leibniz Universit\"{a}t Hannover",
 url          = "http://arxiv.org/abs/1206.4564",
)
@article(lohvo13,
 author       = "Peter Lohmann and Heribert Vollmer",
 year         = "2013",
 title        = "Complexity Results for Modal Dependence Logic",
 journal      = "Studia Logica",
 volume       = "101",
 number       = "2",
 pages        = "343--366",
 doi          = "10.1007/s11225-013-9483-6",
)
@inproceedings(vollmer13,
 author       = "Julian-Steffen M\"{u}ller and Heribert Vollmer",
 year         = "2013",
 title        = "Model Checking for Modal Dependence Logic: An Approach through Post's Lattice",
 booktitle    = "WoLLIC 2013",
 pages        = "238--250",
 doi          = "10.1007/978-3-642-39992-3\_21",
)
@article(Peterson2001,
 author       = "G.~Peterson and J.~Reif and S.~Azhar",
 year         = "2001",
 title        = "Lower bounds for multiplayer noncooperative games of incomplete information",
 journal      = "Comput. \& Math. Appl.",
 volume       = "41",
 number       = "7-8",
 pages        = "957 -- 992",
 doi          = "10.1016/S0898-1221(00)00333-3",
)
@inproceedings(sano11,
 author       = "Katsuhiko Sano",
 year         = "2011",
 title        = "First-Order Inquisitive Pair Logic",
 editor       = "Mohua Banerjee and Anil Seth",
 booktitle    = "4th Indian Conference, ICLA 2011",
 series       = "LNCS",
 volume       = "6521",
 pages        = "147--161",
 doi          = "10.1007/978-3-642-18026-2\_13",
)
@article(Sevenster:2009,
 author       = "Merlijn Sevenster",
 year         = "2009",
 title        = "Model-theoretic and Computational Properties of Modal Dependence Logic",
 journal      = "J. Log. Comput.",
 volume       = "19",
 number       = "6",
 pages        = "1157--1173",
 doi          = "10.1093/logcom/exn102",
)
@inproceedings(Stockmeyer:1973,
 author       = "L.~J. Stockmeyer and A.~R. Meyer",
 year         = "1973",
 title        = "Word Problems Requiring Exponential Time(Preliminary Report)",
 booktitle    = "Proceedings of ",
 series       = "STOC '73",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "1--9",
 doi          = "10.1145/800125.804029",
)
@phdthesis(jonnithesis,
 author       = "Jonni Virtema",
 year         = "2014",
 title        = "Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity",
 school       = "University of Tampere",
 url          = "http://urn.fi/URN:ISBN:978-951-44-9472-7",
)
@book(va07,
 author       = "Jouko V{\"a}{\"a}n{\"a}nen",
 year         = "2007",
 title        = "Dependence Logic - A New Approach to Independence Friendly Logic",
 series       = "London Mathematical Society student texts",
 volume       = "70",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511611193",
)
@incollection(va08,
 author       = "Jouko V{\"a}{\"a}n{\"a}nen",
 year         = "2008",
 title        = "Modal Dependence Logic",
 editor       = "Krzysztof~R. Apt and Robert van Rooij",
 booktitle    = "New Perspectives on Games and Interaction",
 series       = "Texts in Logic and Games",
 volume       = "4",
 pages        = "237--254",
 url          = "http://dare.uva.nl/document/130061",
)
@phdthesis(fanthesis,
 author       = "Fan Yang",
 year         = "2014",
 title        = "On Extensions and Variants of Dependence Logic",
 school       = "University of Helsinki",
 url          = "http://www.math.helsinki.fi/logic/people/fan.yang/dissertation_fyang.pdf",
)