A generalisation of the concept of a relational model for modal logic¹

Completeness in the theory of types

Leon Henkin · Journal of Symbolic Logic · 1950 · 842 citations

Humanities, Computer Science, Mathematics +12

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

Natural Sciences, Computer Science, Mathematics +10

Pragmatics and intensional logic

Richard Montague · Synthese · 1970 · 271 citations

Humanities, Linguistics, Philosophy +10

Algebraic semantics for modal logics II

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

Humanities, Computer Science, Mathematics +13

Algebraic semantics for modal logics I

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

Humanities, Computer Science, Mathematics +11