First-order modal tableaux

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

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

The Art of Prolog

Leon Sterling, Ehud Shapiro, Randy Garrett · IEEE Expert · 1987 · 1.1K citations

Computing, Computer Science, Knowledge Representation +9

Theorem Proving via General Matings

Peter B. Andrews · Journal of the ACM · 1981 · 285 citations · Full text

Life Sciences, Mathematics, Evolutionary Theory +4

The Foundations of Mathematics.

Charles Parsons, Evert W. Beth · The Philosophical Review · 1961 · 228 citations

Natural Sciences, Mathematics, Applied Mathematics +5