One way to allow such generalisations to be made involves incorporating the * modal iteration operator used in Propositional Dynamic Logic (Harel, 1984) to denote an unbounded number of arc traversals in a Kripke structure.
category description (RES* φ) is satisfied from node n in a model just in case some finite sequence of result arcs leads from n to a node where φ is satisfied.