Skip to main content
SpringerLink
Log in

Fixed Points in Tense Models

  • Published:
Algebra and Logic Aims and scope

Abstract

We study into definability of least fixed points in tense logic. It is proved that least fixed points of tense positive Σ-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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. S.I. Mardaev,“Fixed points of tense operators,”in Algebra and the Model Theory 2,NGTU, Novosi-birsk (1999),pp.68–77.

  2. S.I. Mardaev,“Least fixed points in Grzegorczyk 's logic and in the intuitionistic propositional logic,” Algebra Logika,32 No.5,519–536 (1993).

    Google Scholar 

  3. S.I. Mardaev,“Least fixed points in the Gödel-Löb logic,”Algebra Logika,32 No.6,683–689 (1993).

    Google Scholar 

  4. S.I. Mardaev,“Least fixed points in modal logic,”in Proc.Int.Conf.Math.Log.,NGU, Novosibirsk (2002),pp.92–103.

  5. S.I. Mardaev,“Definability of least fixed points,”Algebra Logika,41 No.4,429–458 (2002).

    Google Scholar 

  6. Y.Gurevich and S.Shelah,“Fixed-point extensions of first-order logic,”Ann.Pure Appl.Log.,32 No.3,265–280 (1986).

    Google Scholar 

  7. S.Kreutzer,“Expressive equivalence of least and inflationary fixed-point logic,”in Proc.17th IEEESymp.Log.Comp.Sc.(LICS)(2002)(see also http://www-mgi.informatik.rwth-aachen.de/ kreutzer/publications/lics02.ps).

  8. A.Dawar, E. Grädel,and S. Kreutzer,“Inflationary fixed points in modal logic,”in Comp.Sc. Log.,15th Int.Workshop,CSL 2001,10th Ann.Conf.Eur.Ass.Comp.Sc.Log.(EACSL), Lect.Notes Comp.Sc.,Vol.2142,Springer-Verlag, Berlin (2001),pp.277–291 (see also http://www-mgi.informatik.rwth-aachen.de/kreutzer/publications/csl01.ps).

    Google Scholar 

  9. A.Dawar, E. Grädel,and S. Kreutzer,“Inflationary fixed points in modal logic,”to appear in ACM Trans.Comp.Log.(TOCL)(see also http://www-mgi.informatik.rwth-aachen.de/kreutzer/ publications/tocl.ps).

  10. S.I. Mardaev,“Fixed points of modal schemes,”Algebra Logika,31 No.5,493–498 (1992).

    Google Scholar 

  11. R.O. Gandy,“Inductive definitions,”in Generalized Recursion Theory,Stud.Log.Found.Math., Vol.79,North-Holland,Amsterdam (1974),pp.265–299.

    Google Scholar 

  12. K.Segerberg,“Modal logics with linear alternative relations,”Theoria,36 No.3,301–322 (1970).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics SB RAS, Akademika Koptyuga Prospekt, 4, Novosibirsk 630090, Russia

    S. I. Mardaev

Authors
  1. S. I. Mardaev
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mardaev, S.I. Fixed Points in Tense Models. Algebra and Logic 43, 331–338 (2004). https://doi.org/10.1023/B:ALLO.0000044282.87666.d1

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:ALLO.0000044282.87666.d1

Search

Navigation