update modal_logic