Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
Second centralizers of partial transformations on a finite set are determined. In particular, it is shown that the second centralizer of any partial transformation consists of partial transformations that are locally powers of .