On some proof theoretical properties of the modal logic GL

DOI10.1007/BF01371633zbMath0547.03016MaRDI QIDQ798649

Marco Borga

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

cut eliminationpropositional modal logicGL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (5)

Cut elimination for GLS using the terminability of its regress process ⋮ Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq ⋮ A proof theory for the logic of provability in true arithmetic ⋮ Cut-elimination for weak Grzegorczyk logic Go ⋮ Syntactical results on the arithmetical completeness of modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• The modal logic of provability: cut-elimination
• The modal logic of provability. The sequential approach
• A modal sequent calculus for a fragment of arithmetic
• Untersuchungen über das logische Schliessen. I
• Proof theory and intuitionistic systems
• On the proof theory of the modal logic for arithmetic provability
• Proof theory

This page was built for publication: On some proof theoretical properties of the modal logic GL