Dynamic_dominant_logic