Skip to main content
SpringerLink
Log in

Fixed points through the finite model property

the algebraization of the theories which express Theor; XI

  • Published:
Studia Logica Aims and scope Submit manuscript

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

References

  1. C. Bernardi,The fixed point theorem for the diagonalizable algebras (the algebraization of the theories which express Theor; III),Studia Logica, v. 34 (1975), pp. 239–251.

    Google Scholar 

  2. C. Bernardi,On the equational class of diagonalizable algebras (the algebraization of the theories which express Theor; VI),Studia Logica, v. 34 (1975), pp. 321–331.

    Google Scholar 

  3. C. Bernardi,The uniqueness of the fixed point in every diagonalizable algebra (the algebraization of the theories which express Theor; VIII),Studia Logica, v. 35 (1976), pp. 335–343.

    Google Scholar 

  4. G. Grätzer,Universal Algebra, Van Nostrand, Princeton 1968.

    Google Scholar 

  5. R. Magari,The diagonalizable algebras (the algebraization of the theories which express Theor; II),Bollettino Unione Matematica Italiana, v. 12 (1975), pp. 117–125.

    Google Scholar 

  6. R. Magari,Representation and duality theory for diagonalizable algebras (the algebraization of the theories which express Theor; IV),Studia Logica, v. 34 (1975), pp. 305–313.

    Google Scholar 

  7. R. Magari,Modal diagonalizable algebras, to appear.

  8. G. Sambin,An effective fixed point theorem in intuitionistic diagonalizable algebras (the algebraization of the theories which express Theor; IX)Studia Logica, v. 35 (1976), pp. 345–361.

    Google Scholar 

  9. K. Segerberg,An essay in classical modal logic, Uppsala Universiteit 1971.

  10. C. Smorynski,The derivability conditions and Löb's theorem: a short course in modal logic, manuscript in progress, Heidelberg, Autumn 1976.

  11. A. Ursini,Intuitionistic diagonalizable algebras, to appear.

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Siena University, Italy

    Giovanni Sambin

Authors
  1. Giovanni Sambin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

I would like to thank R. Magari and C. Smorynski who, directly or indirectly, encouraged me to publish this note.

Allatum est die 4 Julii 1977

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sambin, G. Fixed points through the finite model property. Stud Logica 37, 287–289 (1978). https://doi.org/10.1007/BF02124729

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02124729

Keywords

Search

Navigation