Abstract:
Kripke factor-model concept is investigated. It is shown, that every factor-model is represented as a decomposition of several special factor-models, which groups of automorphisms are primes. Moreover, we show, that every nite group is isomorphic for a group of automorphisms of a certain Kripke model.
Keywords:Kripke model, factor-model, automorphisms of a Kripke model.