Propositional Logics Related to Heyting's and Johansson's

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

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

Non-classical Logic, Syntax, Engineering +11

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 400 citations

Computational Logic, Non-classical Logic, Finite Matrices +11

Algebraic semantics for modal logics II

E. J. Lemmon · Journal of Symbolic Logic · 1966 · 198 citations

Formal Logic, Non-classical Logic, Engineering +12

Modal Logics Between S 4 and S 5

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

Engineering, Substructural Logic, Automated Reasoning +5

Algebraic semantics for modal logics I

E. J. Lemmon · Journal of Symbolic Logic · 1966 · 114 citations

Non-classical Logic, Engineering, Substructural Logic +11