On the proof theory of the modal logic for arithmetic provability

From MaRDI portal
Publication:3914957

DOI10.2307/2273755zbMath0464.03019OpenAlexW2036161385MaRDI QIDQ3914957

Daniel Leivant

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)




Cites Work




This page was built for publication: On the proof theory of the modal logic for arithmetic provability