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

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