In this work, we explore the connections between the semantics characterizations of the absence of some side-effects (control-operators and mutable states) that have been designed in game semantics (well-bracketing and visibility), with the one that has been designed for Kripke logical relations (public transitions and backtracking).