The modal logic of provability: cut-elimination

DOI10.1007/BF00249262zbMath0535.03031MaRDI QIDQ790809

Silvio Valentini

Publication date: 1983

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

provability logic GL

Mathematics Subject Classification ID

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

Related Items (18)

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ 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 ⋮ Provability multilattice logic ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ A proof theory for the logic of provability in true arithmetic ⋮ Sequent calculi for Visser's propositional logics ⋮ Sequent calculi for intuitionistic Gödel-Löb logic ⋮ Cut-elimination for weak Grzegorczyk logic Go ⋮ Machine Checking Proof Theory: An Application of Logic to Logic ⋮ The bounded proof property via step algebras and step frames ⋮ Unnamed Item ⋮ A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY ⋮ The modal logic of provability. The sequential approach ⋮ Modal tableau calculi and interpolation ⋮ On some proof theoretical properties of the modal logic GL ⋮ Circular proofs for the Gödel-Löb provability logic ⋮ Proof analysis in modal logic

Cites Work

• Unnamed Item
• The modal logic of provability. The sequential approach
• On modal systems having arithmetical interpretations
• On the proof theory of the modal logic for arithmetic provability
• Symbolic Representations of the Post-apartheid University

This page was built for publication: The modal logic of provability: cut-elimination