Logical Dynamics