Geodesic
Fixed Points in Tense Models
Algebra i logika, Tome 43 (2004) no. 5, pp. 589-602

Voir la notice de l'article provenant de la source Math-Net.Ru

We study into definability of least fixed points in tense logic. It is proved that least fixed points of tense positive $\Sigma$-operators are definable in transitive linear models. Examples are furnished showing that the least fixed points of tense positive operators may fail to be definable in the class of finite linearly ordered models, and the class of finite strictly linearly ordered models. Moreover, in dealing with the modal case, we point out examples of the non-definable inflationary points in the model classes mentioned.
Keywords: tense logic, least fixed points, class of finite linearly ordered models, class of finite strictly linearly ordered models, modal models, inflationary points. 
@article{AL_2004_43_5_a4,
     author = {S. I. Mardaev},
     title = {Fixed {Points} in {Tense} {Models}},
     journal = {Algebra i logika},
     pages = {589--602},
     publisher = {mathdoc},
     volume = {43},
     number = {5},
     year = {2004},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2004_43_5_a4/}
}
TY  - JOUR
AU  - S. I. Mardaev
TI  - Fixed Points in Tense Models
JO  - Algebra i logika
PY  - 2004
SP  - 589
EP  - 602
VL  - 43
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2004_43_5_a4/
LA  - ru
ID  - AL_2004_43_5_a4
ER  - 
%0 Journal Article
%A S. I. Mardaev
%T Fixed Points in Tense Models
%J Algebra i logika
%D 2004
%P 589-602
%V 43
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2004_43_5_a4/
%G ru
%F AL_2004_43_5_a4
S. I. Mardaev. Fixed Points in Tense Models. Algebra i logika, Tome 43 (2004) no. 5, pp. 589-602. http://geodesic.mathdoc.fr/item/AL_2004_43_5_a4/