Title: Questions and dependency in intuitionistic logic,
Abstract: In recent years, the logic of questions and dependencies has been
investigated in the closely related frameworks of inquisitive logic and
dependence logic. These investigations have assumed classical logic as the
background logic of statements, and added formulas expressing questions and
dependencies to this classical core. In this paper, we broaden the scope of
these investigations by studying questions and dependency in the context of
intuitionistic logic. We propose an intuitionistic team semantics, where teams
are embedded within intuitionistic Kripke models. The associated logic is a
conservative extension of intuitionistic logic with questions and dependence
formulas. We establish a number of results about this logic, including a normal
form result, a completeness result, and translations to classical inquisitive
logic and modal dependence logic.