Reverse dependencies for modal_logic

Latest version of the following gems require modal_logic