On some proof theoretical properties of the modal logic GL |
| |
| Authors: | Marco Borga |
| |
| Affiliation: | 1. Institute of Mathematics, University of Genoa, Via L. B. Alberti, 4, I-16132, Genoa, Italy
|
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
