Abstract
This paper concerns a new type of fuzzy relation equation involving dynamical processes. We introduce a logic-based difference operator forming the left-hand side of the equation. We will analyse properties of this operator, further it will revealed how dynamics, modelled in this format, are related to ambiguity (stated as interval-valued fuzzy sets) of successive states. A comparison with previous types of fuzzy relation equations is pointed out.