On some proof theoretical properties of the modal logic GL
type: Item
instance of: scholarly article
title: On some proof theoretical properties of the modal logic GL
zbMATH Open document ID: 0547.03016
DOI: 10.1007/BF01371633
author: Marco Borga
published in: Studia Logica
publication date: 1983-01-01T00:00:00Z
review text: GL is the propositional modal logic complete under the interpretation of necessity as provability in first-order arithmetic. The cut elimination proof for GL given by \textit{D. Leivant} [J. Symb. Logic 46, 531--538 (1981; Zbl 0464.03019)] contained a gap repaired by \textit{S. Valentini} [J. Philos. Logic 12, 471--476 (1983; Zbl 0535.03031)]. The author presents another cut elimination proof.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3871326
zbMATH Keywords: GL
zbMATH Keywords: propositional modal logic
zbMATH Keywords: cut elimination
reviewed by: G. E. Mints
MaRDI profile type: Publication
cites work: Q4196401
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q5812175
cites work: On the proof theory of the modal logic for arithmetic provability
cites work: A modal sequent calculus for a fragment of arithmetic
cites work: The modal logic of provability. The sequential approach
cites work: Proof theory and intuitionistic systems
cites work: Proof theory
cites work: The modal logic of provability: cut-elimination
Recommended article: On the Proof Theory of the Modal Logic Grz
Recommended article: Glivenko type theorems for intuitionistic modal logics
Recommended article: Towards a Proof Theory of G\"odel Modal Logics
Recommended article: ON MODAL LOGICS AXIOMATIZING PROVABILITY
Recommended article: Q3731573
Recommended article: ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL
Recommended article: Q3495340
Recommended article: A modal provability logic of explicit and implicit proofs
Recommended article: On the proof-theory of two formalisations of modal first-order logic
Recommended article: Q5483015
description: scientific article; zbMATH DE number 3871326