Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity

Tadeusz Litak, Katsuhiko Sano

Propositional inquisitive logic is the limit of its $n$-bounded approximations. In the predicate setting, however, this does not hold anymore, as discovered by Ciardelli and Grille…