Labelled Sequent Calculi for Inquisitive Modal Logics.

Valentin Mller

Browse the full WoLLIC paper archive.