论文信息 - The modal logic of provability: Cut-elimination - 字舞流文

The modal logic of provability: Cut-elimination

Silvio Valentini | S. Valentini

[1] G. Boolos. The Unprovability of Consistency: An Essay in Modal Logic , 1979 .

[2] Silvio Valentini,et al. The modal logic of provability. The sequential approach , 1982, Journal of Philosophical Logic.

[3] Daniel Leivant,et al. On the proof theory of the modal logic for arithmetic provability , 1981, Journal of Symbolic Logic.

[4] Arnon Avron,et al. On modal systems having arithmetical interpretations , 1984, Journal of Symbolic Logic.