A logical and graphical framework for reaction systems