@inproceedings(Ciardelli:14aiml,
 author       = {I. Ciardelli},
 year         = {2014},
 title        = {Modalities in the realm of questions: axiomatizing inquisitive epistemic logic},
 editor       = {R. Gor\'e and B. Kooi and A. Kurucz},
 booktitle    = {Advances in Modal Logic (AIML)},
 publisher    = {College Publications},
 address      = {London},
 pages        = {94--113},
)
@book(IvanoDiss,
 author       = {I. Ciardelli},
 year         = {2015},
 title        = {Questions in Logic},
 series       = {ILLC Dissertation Series},
 volume       = {DS-2016-01},
 publisher    = {Institute for Logic, Language and Computation, Amsterdam},
)
@incollection(Ciardelli:16dependency,
 author       = {I. Ciardelli},
 year         = {2016},
 title        = {Dependency as question entailment},
 editor       = {S. Abramsky and J. Kontinen and J. V\"a\"an\"anen and H. Vollmer},
 booktitle    = {Dependence Logic: theory and applications},
 publisher    = {Springer International Publishing Switzerland},
 pages        = {129--181},
 doi          = {10.1007/978-3-319-31803-5_8},
)
@article(Ciardelli:16qait,
 author       = {I. Ciardelli},
 year         = {2016},
 title        = {Questions as information types},
 journal      = {Synthese},
 doi          = {10.1007/s11229-016-1221-y},
)
@article(Ciardelli:13compass,
 author       = {I. Ciardelli and J. Groenendijk and F. Roelofsen},
 year         = {2013},
 title        = {Inquisitive semantics: A new notion of meaning},
 journal      = {Language and Linguistics Compass},
 volume       = {7},
 number       = {9},
 pages        = {459--476},
 doi          = {10.1111/lnc3.12037},
)
@article(Ciardelli:15inqd,
 author       = {I. Ciardelli and J. Groenendijk and F. Roelofsen},
 year         = {2015},
 title        = {On the semantics and logic of declaratives and interrogatives},
 journal      = {Synthese},
 volume       = {192},
 number       = {6},
 pages        = {1689--1728},
 doi          = {10.1007/s11229-013-0352-7},
)
@unpublished(ICMOdraft17,
 author       = {I. Ciardelli and M. Otto},
 year         = {2017},
 title        = {Bisimulation in Inquisitive Modal Logic},
 note         = {Unpublished manuscript},
)
@article(CiardelliRoelofsen,
 author       = {I. Ciardelli and F. Roelofsen},
 year         = {2011},
 title        = {Inquisitive logic},
 journal      = {Journal of Philosophical Logic},
 volume       = {40},
 pages        = {55--94},
 doi          = {10.1007/s10992-010-9142-6},
)
@article(CiardelliRoelofsen:15idel,
 author       = {I. Ciardelli and F. Roelofsen},
 year         = {2015},
 title        = {Inquisitive dynamic epistemic logic},
 journal      = {Synthese},
 volume       = {192},
 number       = {6},
 pages        = {1643--1687},
 doi          = {10.1007/s11229-014-0404-7},
)
@article(DawarOttoAPAL09,
 author       = {A. Dawar and M. Otto},
 year         = {2009},
 title        = {Modal characterisation theorems over special classes of frames},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {161},
 pages        = {1--42},
 doi          = {10.1016/j.apal.2009.04.002},
)
@incollection(GorankoOtto,
 author       = {V. Goranko and M. Otto},
 year         = {2007},
 title        = {Model Theory of Modal Logic},
 editor       = {P. Blackburn and {van Benthem}, J. and F. Wolter},
 booktitle    = {Handbook of Modal Logic},
 publisher    = {Elsevier},
 pages        = {249--329},
 doi          = {10.1016/S1570-2464(07)80008-5},
)
@unpublished(Hansen:03,
 author       = {H. Hansen},
 year         = {2003},
 title        = {Monotone Modal Logics},
 note         = {{M}Sc Thesis, University of Amsterdam},
)
@article(Hansen:09,
 author       = {H. Hansen and C. Kupke and E. Pacuit},
 year         = {2009},
 title        = {Neighbourhood structures: Bisimilarity and basic model theory},
 journal      = {Logical Methods in Computer Science},
 volume       = {2},
)
@techreport(OttoNote,
 author       = {M. Otto},
 year         = {2004},
 title        = {Elementary Proof of the {van Benthem--Rosen} Characterisation Theorem},
 type         = {Technical Report},
 number       = {2342},
 institution  = {Fachbereich Mathematik, {Technische Universit\"at Darmstadt}},
)
@article(OttoAPAL04,
 author       = {M. Otto},
 year         = {2004},
 title        = {Modal and guarded characterisation theorems over finite transition systems},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {130},
 pages        = {173--205},
 doi          = {10.1016/j.apal.2004.04.003},
)
@article(Otto12JACM,
 author       = {M. Otto},
 year         = {2012},
 title        = {Highly acyclic groups, hypergraph covers and the guarded fragment},
 journal      = {Journal of the ACM},
 volume       = {59 (1)},
 doi          = {10.1145/2108242.2108247},
)
@unpublished(Pacuit:07,
 author       = {E. Pacuit},
 year         = {2007},
 title        = {Neighborhood semantics for modal logic: An introduction},
 note         = {Lecture notes for a course at ESSLLI},
)
@article(Roelofsen:13,
 author       = {F. Roelofsen},
 year         = {2013},
 title        = {Algebraic foundations for the semantic treatment of inquisitive content},
 journal      = {Synthese},
 volume       = {190},
 number       = {1},
 pages        = {79--102},
 doi          = {10.1007/s11229-013-0282-4},
)
@article(Rosen,
 author       = {E. Rosen},
 year         = {1997},
 title        = {Modal logic over finite structures},
 journal      = {Journal of Logic, Language and Information},
 volume       = {6},
 pages        = {427--439},
 doi          = {10.1023/A:1008275906015},
)
@book(Vaananen:07,
 author       = {J. V\"a\"an\"anen},
 year         = {2007},
 title        = {Dependence Logic: A New Approach to Independence Friendly Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511611193},
)
@book(Benthem83,
 author       = {{van Benthem}, J.},
 year         = {1983},
 title        = {Modal Logic and Classical Logic},
 publisher    = {Bibliopolis},
 address      = {Napoli},
 doi          = {10.2307/2274406},
)
@phdthesis(Yang:14,
 author       = {F. Yang},
 year         = {2014},
 title        = {On extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting},
 school       = {University of Helsinki},
)
@article(YangVaananen,
 author       = {F. Yang and J. V\"a\"an\"anen},
 year         = {2016},
 title        = {Propositional logics of dependence},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {167},
 pages        = {557--589},
 doi          = {10.1016/j.apal.2016.03.003},
)