Skip to main content
Springer Nature Link
Log in

A model existence theorem in infinitary propositional modal logic

  • Published:
Journal of Philosophical Logic 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Fine, Kit. “Logics containing K4. Part I.”The Journal of Symbolic Logic 39 (1974), pp. 31–42.

    Google Scholar 

  2. Goldblatt, Robert.Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science, vol. 130. (Berlin, Heidelberg, New York: Springer-Verlag, 1982).

    Google Scholar 

  3. Goldblatt, Robert.Logics of Time and Computation. CSLI Lecture Notes, vol. 7. (Stanford, CA: CSLI, 1987).

    Google Scholar 

  4. Goldblatt, Robert. “A framework for infinitary modal logic.” Talk given at the Scroggs Society Miniconference at Devonport, New Zealand, 11–12 May 1991.

  5. Harel, David.First-Order Dynamic Logic. Lecture Notes in Computer Science, vol. 68. (Berlin, Heidelberg, New York: Springer-Verlag, 1979).

    Google Scholar 

  6. Lewis, David K.Convention: A Philosophical Study. (Cambridge, MA: Harvard University Press, 1969).

    Google Scholar 

  7. Segerberg, Krister. “Von Wright's tense logic.” InThe Philosophy of Georg Henrik von Wright, edited by P. A. Schilpp and L. E. Hahn, pp. 603–635. The Library of Living Philosophers, vol. 19, (La Salle, IL: Open Court, 1989). (Written in 1974.)

    Google Scholar 

  8. Segerberg, Krister. “A completeness theorem in the modal logic of programs.” InUniversal Algebra and Applications, edited by T. Traczyk, pp. 31–46. (Warsaw: PWN, 1982).

    Google Scholar 

  9. Sundholm, Göran. “A completeness proof for an infinitary tense-logic.”Theoria 43 (1977), pp. 47–51.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Villavägen 5, 752 36, Uppsala, Sweden

    Krister Segerberg

  2. Department of Philosophy, The University of Auckland, Private Bag, Auckland, New Zealand

    Krister Segerberg

Authors
  1. Krister Segerberg
    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

Segerberg, K. A model existence theorem in infinitary propositional modal logic. J Philos Logic 23, 337–367 (1994). https://doi.org/10.1007/BF01048686

Download citation

  • Issue Date:

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

Keywords