Inquisitive logic is a framework designed to handle not just statements that convey information but also questions that request it. It extends classical logic by distinguishing between assertions (which settle a question) and inquiries (which raise one). The "inquisitive hierarchy" refers to a structured family of logical systems built on top of this foundation, each capturing a different level of reasoning about information and inquiry. There are infinitely many such systems, organized in a layered way.
The central result of the paper is that every single one of these infinitely many logical systems possesses something called the Craig interpolation property. Interpolation, roughly speaking, says that whenever one statement logically implies another, you can always find a "go-between" statement that uses only vocabulary common to both, and which sits logically between them. This is a desirable and often technically difficult property to establish. What makes this finding striking is that in most well-studied families of logics, interpolation tends to be rare, holding only for a scattered few members of the family. Here, it holds universally across the entire hierarchy.
From interpolation, the authors derive another important property called Beth definability, which concerns implicit versus explicit definitions. Loosely, if a concept is uniquely pinned down by its logical relationships to other things, then it can also be given an outright explicit definition using the available vocabulary. Again, this is a strong and useful property to have. Together, these results reveal that the inquisitive hierarchy has an unusually well-behaved logical structure, and they suggest that the way questions are woven into this family of logics creates surprising internal coherence that ordinary extensions of classical logic do not enjoy.