Composite reductions for Kripke models
Yurii A. Belov · DOAJ (DOAJ: Directory of Open Access Journals) · 2010
Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show, that every finite group is isomorphic for a group of automorphisms of a certain Kripke model.