A Multi-type Calculus for Inquisitive Logic
scientific article; zbMATH DE number 6625889
scientific article