Labelled sequent calculus for inquisitive logic
scientific article; zbMATH DE number 6810804