A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC. Issue 2 (31st August 2021)