A Formal Model for the Dynamics of Compositional Reasoning Systems