We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the state of a system evolves over time. They are important for modeling and understanding many applications, including embedded systems and cyber-physical systems. In discrete dynamical systems, the state evolves in discrete...

A class of discrete dynamical systems with nonlinear feedback is considered. These systems generalize various maps arising in connection with chaotic dynamical systems, topological dynamics, and linear systems theory. We give a complete characterization of this class of systems.