@article(Bennett:04,
 author       = {Karen Bennett},
 year         = {2004},
 title        = {Global supervenience and dependence},
 journal      = {Philosophy and Phenomenological Research},
 volume       = {68},
 number       = {3},
 pages        = {501--529},
 doi          = {10.1111/j.1933-1592.2004.tb00364.x},
)
@incollection(Ciardelli:16dependency,
 author       = {Ivano Ciardelli},
 year         = {2016},
 title        = {Dependency as question entailment},
 editor       = {Samson Abramsky and Juha Kontinen and Jouko V\"a\"an\"anen and Heribert Vollmer},
 booktitle    = {Dependence Logic: theory and applications},
 publisher    = {Springer International Publishing Switzerland},
 pages        = {129--181},
 doi          = {10.1007/978-3-319-31803-5_8},
)
@inproceedings(Ciardelli:18aiml,
 author       = {Ivano Ciardelli},
 year         = {2018},
 title        = {Dependence Statements Are Strict Conditionals},
 editor       = {Guram Bezhanishvili and Giovanna D'Agostino and George Metcalfe and Thomas Studer},
 booktitle    = {Advances in Modal Logic (AIML)},
 publisher    = {College Publications},
 address      = {London},
 pages        = {123--142},
 url          = {http://www.aiml.net/volumes/volume12/},
)
@book(Ciardelli:23book,
 author       = {Ivano Ciardelli},
 year         = {2023},
 title        = {Inquisitive Logic. Consequence and inference in the realm of questions.},
 publisher    = {Springer},
 doi          = {10.1007/978-3-031-09706-5},
)
@article(Ciardelli:25,
 author       = {Ivano Ciardelli},
 year         = {2025},
 title        = {Global Supervenience in Inquisitive Modal Logic},
 journal      = {The Review of Symbolic Logic},
 volume       = {18},
 number       = {2},
 pages        = {589–615},
 doi          = {10.1017/S175502032500005X},
)
@article(CiardelliInqNL:25,
 author       = {Ivano Ciardelli},
 year         = {2025},
 title        = {Inquisitive Neighborhood Logic},
 journal      = {Journal of Logic, Language and Information},
 volume       = {34},
 number       = {5},
 pages        = {419–461},
 doi          = {10.1007/s10849-025-09440-0},
)
@article(CiardelliGrilletti:22,
 author       = {Ivano Ciardelli and Gianluca Grilletti},
 year         = {2022},
 title        = {Coherence in inquisitive first-order logic},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {173},
 number       = {9},
 pages        = {103155},
 doi          = {10.1016/j.apal.2022.103155},
)
@book(Ciardelli:18book,
 author       = {Ivano Ciardelli and Jeroen Groenendijk and Floris Roelofsen},
 year         = {2018},
 title        = {Inquisitive Semantics},
 publisher    = {Oxford University Press},
 doi          = {10.1093/oso/9780198814788.001.0001},
)
@article(CiardelliRoelofsen:15idel,
 author       = {Ivano Ciardelli and Floris Roelofsen},
 year         = {2015},
 title        = {Inquisitive dynamic epistemic logic},
 journal      = {Synthese},
 volume       = {192},
 number       = {6},
 pages        = {1643--1687},
 doi          = {10.1007/s11229-014-0404-7},
)
@inproceedings(Conti25,
 author       = {Simone Conti},
 year         = {2025},
 title        = {Completeness for Weak Inquisitive First-Order Logic},
 editor       = {Valeria Gradimondo and Emil Rosina},
 booktitle    = {Proceedings of the ESSLLI 2025 Student Session},
 pages        = {70--79},
 url          = {https://philpapers.org/rec/GRAPOT-20},
)
@article(Galliani:12,
 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},
 volume       = {163},
 number       = {1},
 pages        = {68--84},
 doi          = {10.1016/j.apal.2011.08.005},
)
@inproceedings(GargGenoveseNegri:12,
 author       = {Deepak Garg and Valerio Genovese and Sara Negri},
 year         = {2012},
 title        = {Countermodels from {{Sequent Calculi}} in {{Multi-Modal Logics}}},
 booktitle    = {2012 27th {{Annual IEEE Symposium}} on {{Logic}} in {{Computer Science}}},
 publisher    = {IEEE},
 address      = {Dubrovnik, Croatia},
 pages        = {315--324},
 doi          = {10.1109/LICS.2012.42},
)
@article(GradelVaananen:13,
 author       = {Erich Gr{\"a}del and Jouko V{\"a}{\"a}n{\"a}nen},
 year         = {2013},
 title        = {Dependence and independence},
 journal      = {Studia Logica},
 volume       = {101},
 number       = {2},
 pages        = {399--410},
 doi          = {10.1007/s11225-013-9479-2},
)
@article(Grilletti:17,
 author       = {Gianluca Grilletti},
 year         = {2017},
 title        = {Disjunction and Existence Properties in Inquisitive First-Order Logic},
 journal      = {Studia Logica},
 pages        = {1--36},
 doi          = {10.1007/s11225-018-9835-3},
)
@article(Grilletti:21,
 author       = {Gianluca Grilletti},
 year         = {2021},
 title        = {Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic},
 journal      = {Journal of Logic, Language, and Information},
 volume       = {30},
 pages        = {725--751},
 doi          = {10.1007/s10849-021-09341-y},
)
@article(GrillettiCiardelli:23,
 author       = {Gianluca Grilletti and Ivano Ciardelli},
 year         = {2023},
 title        = {Games and cardinalities in inquisitive first-order logic},
 journal      = {The Review of Symbolic Logic},
 volume       = {16},
 number       = {1},
 pages        = {241--267},
 doi          = {10.1017/S1755020321000198},
)
@article(Hodges:97,
 author       = {Wilfrid Hodges},
 year         = {1997},
 title        = {Compositional semantics for a language of imperfect information},
 journal      = {Logic Journal of IGPL},
 volume       = {5},
 number       = {4},
 pages        = {539--563},
 doi          = {10.1093/jigpal/5.4.539},
)
@article(Kim:84,
 author       = {Jaegwon Kim},
 year         = {1984},
 title        = {Concepts of supervenience},
 journal      = {Philosophy and phenomenological research},
 volume       = {45},
 number       = {2},
 pages        = {153--176},
 doi          = {10.2307/2107423},
)
@article(Kontinen:13,
 author       = {Jarmo Kontinen},
 year         = {2013},
 title        = {Coherence and computational complexity of quantifier-free dependence logic formulas},
 journal      = {Studia Logica},
 volume       = {101},
 number       = {2},
 pages        = {267--291},
 doi          = {10.1007/s11225-013-9481-8},
)
@article(Leuenberger:09,
 author       = {Stephan Leuenberger},
 year         = {2009},
 title        = {What is global supervenience?},
 journal      = {Synthese},
 volume       = {170},
 number       = {1},
 pages        = {115--129},
 doi          = {10.1007/s11229-008-9360-4},
)
@book(Lewis:86,
 author       = {David Lewis},
 year         = {1986},
 title        = {Philosophical Papers Volume II},
 publisher    = {Oxford University Press},
)
@inproceedings(LitakSano:25,
 author       = {Tadeusz Litak and Katsuhiko Sano},
 year         = {2025},
 title        = {Bounded inquisitive logics: Sequent calculi and schematic validity},
 booktitle    = {International Conference on Automated Reasoning with Analytic Tableaux and Related Methods},
 organization = {Springer},
 pages        = {39--58},
 doi          = {10.1007/978-3-032-06085-3_3},
)
@article(McLaughlin:97,
 author       = {Brian~P. McLaughlin},
 year         = {1997},
 title        = {Supervenience, Vagueness, and Determination},
 journal      = {Philosophical Perspectives},
 volume       = {11},
 pages        = {209--230},
 url          = {http://www.jstor.org/stable/2216131},
)
@inproceedings(Muller:24,
 author       = {Valentin M{\"u}ller},
 year         = {2024},
 title        = {Labelled Sequent Calculi for Inquisitive Modal Logics},
 editor       = {George Metcalfe and Thomas Studer and Ruy de~Queiroz},
 booktitle    = {Logic, Language, Information, and Computation},
 publisher    = {Springer Nature Switzerland},
 address      = {Cham},
 pages        = {122--139},
 doi          = {10.1007/978-3-031-62687-6_9},
)
@article(Muller:26,
 author       = {Valentin Müller},
 year         = {2026},
 title        = {Geometric theories in inquisitive modal logic},
 journal      = {Journal of Logic and Computation},
 volume       = {36},
 number       = {3},
 pages        = {exaf082},
 doi          = {10.1093/logcom/exaf082},
)
@article(Negri:05,
 author       = {Sara Negri},
 year         = {2005},
 title        = {Proof Analysis in Modal Logic},
 journal      = {Journal of Philosophical Logic},
 volume       = {34},
 number       = {5},
 pages        = {507},
 doi          = {10.1007/s10992-005-2267-3},
)
@article(Negri:14,
 author       = {Sara Negri},
 year         = {2014},
 title        = {Proofs and {{Countermodels}} in {{Non-Classical Logics}}},
 journal      = {Logica Universalis},
 volume       = {8},
 number       = {1},
 pages        = {25--60},
 doi          = {10.1007/s11787-014-0097-1},
)
@book(Negri:01,
 author       = {Sara Negri and Jan von Plato},
 year         = {2001},
 title        = {Structural Proof Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511527340},
)
@article(Puncochar:16generalization,
 author       = {Pun{\v{c}}och{\'a}{\v{r}}, V{\'\i}t},
 year         = {2016},
 title        = {A generalization of inquisitive semantics},
 journal      = {Journal of Philosophical Logic},
 volume       = {45},
 number       = {4},
 pages        = {399--428},
 doi          = {10.1007/s10992-015-9379-1},
)
@article(Puncochar:19,
 author       = {Pun{\v{c}}och{\'a}{\v{r}}, V{\'\i}t},
 year         = {2019},
 title        = {Substructural inquisitive logics},
 journal      = {The Review of Symbolic Logic},
 volume       = {12},
 number       = {2},
 pages        = {296--330},
 doi          = {10.1017/S1755020319000017},
)
@article(Stalnaker:96,
 author       = {Robert Stalnaker},
 year         = {1996},
 title        = {Varieties of supervenience},
 journal      = {Philosophical perspectives},
 volume       = {10},
 pages        = {221--241},
 doi          = {10.2307/2216245},
)
@book(Vaananen:07,
 author       = {Jouko V\"a\"an\"anen},
 year         = {2007},
 title        = {Dependence Logic: A New Approach to Independence Friendly Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511611193},
)
@article(YangVaananen:16,
 author       = {Fan Yang and Jouko V{\"a}{\"a}n{\"a}nen},
 year         = {2016},
 title        = {Propositional logics of dependence},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {167},
 number       = {7},
 pages        = {557--589},
 doi          = {10.1016/j.apal.2016.03.003},
)