Geodesic
Submodel Defining Formulas
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 1, pp. 82-86
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Least fixed points of modal formulas are investigated. A concept of submodel defining formula is introduced and it is proved that for each formula positive in special variable there exists a submodel defining formula for every transitive model. This formula is constructed by simple algorithm and preserve positivity of parameters.
Keywords: non-standard logics, modal logics, fixed points, positive operators, model, frame. 
@article{VNGU_2011_11_1_a7,
     author = {S. I. Mardaev},
     title = {Submodel {Defining} {Formulas}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {82--86},
     year = {2011},
     volume = {11},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2011_11_1_a7/}
}
TY  - JOUR
AU  - S. I. Mardaev
TI  - Submodel Defining Formulas
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2011
SP  - 82
EP  - 86
VL  - 11
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/VNGU_2011_11_1_a7/
LA  - ru
ID  - VNGU_2011_11_1_a7
ER  - 
%0 Journal Article
%A S. I. Mardaev
%T Submodel Defining Formulas
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2011
%P 82-86
%V 11
%N 1
%U http://geodesic.mathdoc.fr/item/VNGU_2011_11_1_a7/
%G ru
%F VNGU_2011_11_1_a7
S. I. Mardaev. Submodel Defining Formulas. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 11 (2011) no. 1, pp. 82-86. http://geodesic.mathdoc.fr/item/VNGU_2011_11_1_a7/

[1] Mardaev S. I., “Nepodvizhnye tochki modalnykh DS-formul”, Algebra and Model Theory, 6, Izd-vo NGTU, Novosibirsk, 2007, 41–44