Journal of Philosophical Logic

, Volume 14, Issue 4, pp 351–358 | Cite as

An incomplete system of modal logic

  • George Boolos
  • Giovanni Sambin


Modal Logic Incomplete System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes and References

  1. [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.Google Scholar
  2. [2]
    R. Magari, ‘Primi risultati sulla varietà di Boolos’,Bollentino U.M.I. (6)1-B (1982), 359–367.Google Scholar
  3. [3]
    David Lewis, ‘Intensional logics without iterative axioms’,Journal of Philosophical Logic 3 (1974), 457–466.Google Scholar
  4. [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. [5]
    L. Henkin, ‘A problem concerning provability’,Journal of Symbolic Logic 17 (1952), 160.Google Scholar

Copyright information

© D. Reidel Publishing Company 1985

Authors and Affiliations

  • George Boolos
    • 1
  • Giovanni Sambin
    • 2
  1. 1.Department of Linguistics and PhilosophyMassachusetts Institute of TechnologyCambridgeUSA
  2. 2.Seminario MatematicoUniversità di PadovaPadovaItaly

Personalised recommendations