Proof-theoretic semantics and inquisitive logic (Q2240552)

Inquisitive semantics is made in order to offer a uniform approach to assertions and questions, where propositions are treated as sets of sets of possible worlds closed under subsets, naturally followed by the corresponding general inquisitive logic obtained as its generalisation. \textit{D. Prawitz}'s conjecture that proof-theoretic validity offers a semantics for intuitionistic logic [Stud. Logic Found. Math. 63, 235--307 (1971; Zbl 0226.02031)] has been proven false by \textit{T. Piecha} and \textit{P. Schroeder-Heister} [Stud. Log. 107, No. 1, 233--246 (2019; Zbl 07055418)]. In this paper, the author resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic.