On the proof theory of the modal logic for arithmetic provability
From MaRDI portal
Publication:3914957
DOI10.2307/2273755zbMath0464.03019OpenAlexW2036161385MaRDI QIDQ3914957
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273755
Related Items (16)
VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED ⋮ Provability multilattice logic ⋮ On the proof-theory of two formalisations of modal first-order logic ⋮ A realization theorem for the Gödel-Löb provability logic ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Machine Checking Proof Theory: An Application of Logic to Logic ⋮ A cut-free sequential system for the propositional modal logic of finite chains ⋮ Unnamed Item ⋮ The Closed Fragment of IL is PSPACE Hard ⋮ A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY ⋮ The modal logic of provability: cut-elimination ⋮ 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
This page was built for publication: On the proof theory of the modal logic for arithmetic provability