Memory, Reason, and Time: the Step-logic Approach