Skip to main content
SpringerLink
Log in

An incomplete system of 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

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

Instant access to the full article PDF.

Institutional subscriptions

Notes and References

  1. For terminology, nomenclature and notations not defined in this paper, see G. Boolos,The Unprovability of Consistency, Cambridge University Press, 1979, where the system GL is consideredin extenso, along with several other systems of modal propositional logic.

  2. R. Magari, ‘Primi risultati sulla varietà di Boolos’,Bollentino U.M.I. (6)1-B (1982), 359–367.

    Google Scholar 

  3. David Lewis, ‘Intensional logics without iterative axioms’,Journal of Philosophical Logic 3 (1974), 457–466.

    Google Scholar 

  4. J. F. A. K. van Benthem, ‘Two simple incomplete modal logics’,Theoria 44 (1978), 25–37, and ‘Syntactic aspects of modal incompleteness theorems’,Theoria 44 (1979), 63–77.

    Google Scholar 

  5. L. Henkin, ‘A problem concerning provability’,Journal of Symbolic Logic 17 (1952), 160.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Linguistics and Philosophy, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA

    George Boolos

  2. Seminario Matematico, Università di Padova, Padova, Italy

    Giovanni Sambin

Authors
  1. George Boolos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giovanni Sambin
    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

Boolos, G., Sambin, G. An incomplete system of modal logic. J Philos Logic 14, 351–358 (1985). https://doi.org/10.1007/BF00649480

Download citation

  • Issue Date:

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

Keywords

Search

Navigation