A generalization of inquisitive semantics (Q312497)

This is an interesting, clear and well-written paper on inquisitive semantics. Formal \textit{inquisitive semantics}, as well as the propositional version of \textit{dependence logic}, share the characteristic that formulas are related to sets of possible worlds and not just to single worlds. Additionally, in the former, sets of possible worlds are understood as information states, the ``inquisitive content'' of a formula being the set of all states that support it. Although inquisitive semantics and dependence logic were introduced independently of each other, they are closely related in a technical sense. One important difference between them is, however, the treatment of the disjunction. Inquisitive disjunction is understood according to the following clause: (a) A given information state \(C\) supports \(\varphi \vee \psi \) iff \(C\) supports \(\varphi \) or \(C\) supports \(\psi \). Disjunction in propositional dependence logic, on the other hand, is interpreted with the following clause: (b) \(\varphi \vee \psi \) holds in a set of worlds \(C\) iff there are \( D,E\subseteq C\) such that \(\varphi \) holds in \(D\), \(\psi \) holds in \(E\) and \( D\cup E=C\). The author defines two different versions of a generalization of inquisitive semantics. The first version (\textit{GIS}\(_ l\)) has disjunction interpreted by clause (b); in the second one (\textit{GIS}\(_ g\)), disjunction is interpreted by condition (a). The logics determined by \textit{GIS}\(_l\) are called local logics; the logics determined by \textit{GIS}\(_g\)) are named global logics. The paper studies how \textit{GIS}\(_l\) and \textit{GIS}\(_g\) are related to intuitionistic Kripke semantics as well as to each other. In this context, it is shown that the main facts about inquisitive semantics can be considered as particular consequences of the general frameworks. On the other hand, a class of non-standard superintuitionistic logics, G-logics, is introduced, and a number of properties of them is proved.