The modal logic of provability: Cut-elimination
- 1 November 1983
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 12 (4) , 471-476
- https://doi.org/10.1007/bf00249262
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A system of natural deduction for GLTheoria, 1985
- The modal logic of provability. The sequential approachJournal of Philosophical Logic, 1982
- On the proof theory of the modal logic for arithmetic provabilityThe Journal of Symbolic Logic, 1981