A First-order Framework for Inquisitive Modal Logic. - Silke Meissner; Martin Otto 001 (Rev. Symb. Log., 2022)