Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.

Katsuhiko Sano

Browse the full WoLLIC paper archive.