Switch to: Citations

References in:

Syntactical results on the arithmetical completeness of modal logic

Paolo Gentilini

Studia Logica 52 (4):549 - 564 (1993)

Add references

You must login to add references.

(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition. Download Export citation Bookmark 127 citations
The modal logic of provability. The sequential approach.Giovanni Sambin & Silvio Valentini - 1982 - Journal of Philosophical Logic 11 (3):311 - 342.details Download Export citation Bookmark 38 citations
On some proof theoretical properties of the modal logic GL.Marco Borga - 1983 - Studia Logica 42 (4):453 - 459.details 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. Download Export citation Bookmark 13 citations
(1 other version)Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.details Download Export citation Bookmark 60 citations
(1 other version)Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.details Download Export citation Bookmark 67 citations
On the Proof Theory of the Modal Logic Grz.M. Borga & P. Gentilini - 1986 - Mathematical Logic Quarterly 32 (10-12):145-148.details Download Export citation Bookmark 3 citations

1