The modal logic of provability. The sequential approach

Provability interpretations of modal logic

Robert M Solovay · Israel Journal of Mathematics · 1976 · 457 citations

Humanities, Computer Science, Philosophy +13

Solution of a problem of Leon Henkin

M. Lob · Journal of Symbolic Logic · 1955 · 304 citations

Humanities, Computer Science, Mathematics +10

An effective fixed-point theorem in intuitionistic diagonalizable algebras

Giovanni Sambin · Studia Logica · 1976 · 66 citations

Natural Sciences, Mathematics, Algebra +10

The modal logic of provability: Cut-elimination

Silvio Valentini · Journal of Philosophical Logic · 1983 · 63 citations

Humanities, Computer Science, Mathematics +9

On the proof theory of the modal logic for arithmetic provability

Daniël Leivant · Journal of Symbolic Logic · 1981 · 51 citations

Humanities, Computer Science, Mathematics +14