Journal of Symbolic Logic

On the logic of theory change: Partial meet contraction and revision functions

Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · 1985 · 3.2K citations

Natural Sciences, Mathematics, Contract Theory +6

A formulation of the simple theory of types

Alonzo Church · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

Princeton Mathematical Series

1948 · 1.5K citations

Natural Sciences, Mathematics, Applied Mathematics +2

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

A completeness theorem in modal logic

Saul A. Kripke · 1959 · 1.1K citations

Humanities, Computer Science, Mathematics +11