A Multi-type Calculus for Inquisitive Logic.

Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang

Browse the full WoLLIC paper archive.