Kinetic Logic