I disagree here, though it might just be a matter of semantics. You use the word "logic" for the outcome, I use it for the process. As I see it (and learned it), logic is a set of rules which, when applied, will return a certain outcome. Doesn't really matter, though, as long as we are clear on each other's meaning.
Ok...so your referring to traversing logic...like traversing a set of rules. I use the word to describe what would be more like the logical equation...logic is not an action therefore it's not a process. It's semantics, but sometimes you have to traverse the semantics to reach what some people mean. Traversal of logic is like nothing to me...I even play with the logic like putty for fun. It's not a set of rules to me, it's something to play with and mold and use to understand. It's a tool with a crazy amount of uses because it can be transformed. Like plastic..it can be twisted and formed and manipulated and such. Logic is the same way. Traversing it will cause loops and such and breaks that allow you to refine it and tweak it.
Imagine taking all the input you described and forming the logic around it to fit...that's what I do.