×

zbMATH — the first resource for mathematics

On the proof theory of the modal logic for arithmetic provability. (English) Zbl 0464.03019

MSC:
03B45 Modal logic (including the logic of norms)
03F05 Cut-elimination and normal-form theorems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Foundations of mathematical logic (1963) · Zbl 0163.24209
[2] Interpolation theorems for modal logics 39 pp 416– (1974)
[3] Reflection principles and iterated consistency assertions 44 pp 33– (1979) · Zbl 0409.03010
[4] The unprovability of consistency (1979)
[5] Modal logic (1973)
[6] Proof theory (1978)
[7] DOI: 10.1007/BF02757006 · Zbl 0352.02019 · doi:10.1007/BF02757006
[8] Logic Colloquium ’77 (1978)
[9] Completeness, compactness and undecidability (1975)
[10] Solution of a problem of Leon Henkin 20 pp 115– (1955) · Zbl 0067.00202
[11] Introduction to metamathematics (1952)
[12] Conference in Mathematical Logic, London, 1970, Lecture Notes in Mathematics pp 111– (1972)
[13] Failures of the interpolation lemma in quantified modal logic 44 pp 201– (1979) · Zbl 0415.03015
[14] First-order logic (1968) · Zbl 0172.28901
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.