Proof analysis in intermediate logics

A completeness theorem in modal logic

Saul A. Kripke · Journal of Symbolic Logic · 1959 · 1.1K citations

Humanities, Computer Science, Mathematics +11

Some theorems about the sentential calculi of Lewis and Heyting

J. C. C. McKinsey, Alfred Tarski · Journal of Symbolic Logic · 1948 · 507 citations

Natural Sciences, Mathematics, Algebra +4

Proof Analysis in Modal Logic

Sara Negri · Journal of Philosophical Logic · 2005 · 308 citations

Computing, Computer Science, Formal Methods +9

Modal Logic (Oxford Logic Guides, vol. 35)

Alexander Chagrov, Michael Zakharyaschev · 1997 · 192 citations

Humanities, Philosophy, Formal Methods +10

Modal Logics Between S 4 and S 5

Michael Dummett, E. J. Lemmon · Mathematical logic quarterly · 1959 · 161 citations

Humanities, Philosophy, Logic +7