RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2010, Volume 17, Number 3, Pages 29–37 (Mi mais21)  

Composite reductions for Kripke models

Yu. A. Belov

P. G. Demidov Yaroslavl State University

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

Full text: PDF file (263 kB)
References: PDF file   HTML file
UDC: 681.3+519.68
Received: 22.03.2010

Citation: Yu. A. Belov, “Composite reductions for Kripke models”, Model. Anal. Inform. Sist., 17:3 (2010), 29–37

Citation in format AMSBIB
\Bibitem{Bel10}
\by Yu.~A.~Belov
\paper Composite reductions for Kripke models
\jour Model. Anal. Inform. Sist.
\yr 2010
\vol 17
\issue 3
\pages 29--37
\mathnet{http://mi.mathnet.ru/mais21}


Linking options:
  • http://mi.mathnet.ru/eng/mais21
  • http://mi.mathnet.ru/eng/mais/v17/i3/p29

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Number of views:
    This page:201
    Full text:72
    References:44

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020