Skip to main content
SpringerLink
Log in

On some proof theoretical properties of the modal logic GL

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper deals with the system of modal logicGL, in particular with a formulation of it in terms of sequents. We prove some proof theoretical properties ofGL that allow to get the cut-elimination theorem according to Gentzen's procedure, that is, by double induction on grade and rank.

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. G. Boolos,The Unprovability of Consistency, Cambridge University Press, Cambridge 1979.

    Google Scholar 

  2. G. Gentzen, Untersuchungen über das logische SchliessenMathematische Zeitschrift 39 (1935), pp. 176–210 and 405–431; English translation inM. Szabo (ed.),The Collected Papers of G. Gentzen, North-Holland, Amsterdam 1969.

    Google Scholar 

  3. S. C. Kleene,Introduction to Metamathematics North-Holland, Amsterdam 1952.

    Google Scholar 

  4. D. Leivant,On the proof theory of the modal logic for arithmetic provability Journal of Symbolic Logic 46 (1981), pp. 531–538.

    Google Scholar 

  5. G. Sambin andS. Valentini,A modal sequent calculus for a fragment of arithmetic Studia Logica 39 (1980), pp. 245–256.

    Google Scholar 

  6. G. Sambin andS. Valentini,Is there a syntactic proof of cut-elimination for GL?, Rapporto matematico n. 52 (1982), University of Siena.

  7. B. Scarpellini,Proof Theory and Intuitionistic Systems Lecture Notes in Mathematics, 212, Springer, Berlin 1971.

    Google Scholar 

  8. G. Takeuti,Proof Theory North-Holland, Amsterdam 1975.

    Google Scholar 

  9. S. Valentini,The modal logic of provability: Cut-elimination, to appear in theJournal of Philosophical Logic.

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, University of Genoa, Via L. B. Alberti, 4, I-16132, Genoa, Italy

    Marco Borga

Authors
  1. Marco Borga
    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

Borga, M. On some proof theoretical properties of the modal logic GL. Stud Logica 42, 453–459 (1983). https://doi.org/10.1007/BF01371633

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation