Provability interpretations of modal logic

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

Humanities, Computer Science, Philosophy +15

Solution of a problem of Leon Henkin

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

Humanities, Computer Science, Mathematics +10

One hundred and two problems in mathematical logic

Harvey Friedman · Journal of Symbolic Logic · 1975 · 221 citations

Humanities, Mathematics, Logic +10