A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
Abstract We present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm{InqML}$ . This translation is based on a graded notion of flatness that ties the inherent second-order, team-semantic …