The finite Kripke structure defined in that Wikipedia page cannot be acyclic because the transition relation is left-total.

Try searching for "number of paths in a directed acyclic graph" (DAG). For example, the graph shown in this answer has the number of paths exponential in the number of vertices.