On state classes and their dynamic semantics