Composite reductions for Kripke models
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2010-09-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1037 |
| _version_ | 1826559057481170944 |
|---|---|
| author | Y. A. Belov. |
| author_facet | Y. A. Belov. |
| author_sort | Y. A. Belov. |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T02:25:26Z |
| format | Article |
| id | doaj.art-de499196395440ed818b6914b7bfa9e9 |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2025-03-14T08:54:20Z |
| publishDate | 2010-09-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-de499196395440ed818b6914b7bfa9e92025-03-02T12:46:53ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172010-09-011732937778Composite reductions for Kripke modelsY. A. Belov.0Ярославский государственный университет им. П.Г. Демидова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.https://www.mais-journal.ru/jour/article/view/1037kripke model<i>factor-model</i><i>automorphisms of </i>a kripke model |
| spellingShingle | Y. A. Belov. Composite reductions for Kripke models Моделирование и анализ информационных систем kripke model <i>factor-model</i> <i>automorphisms of </i>a kripke model |
| title | Composite reductions for Kripke models |
| title_full | Composite reductions for Kripke models |
| title_fullStr | Composite reductions for Kripke models |
| title_full_unstemmed | Composite reductions for Kripke models |
| title_short | Composite reductions for Kripke models |
| title_sort | composite reductions for kripke models |
| topic | kripke model <i>factor-model</i> <i>automorphisms of </i>a kripke model |
| url | https://www.mais-journal.ru/jour/article/view/1037 |
| work_keys_str_mv | AT yabelov compositereductionsforkripkemodels |