Some Completeness Results for Modal Predicate Calculi

An Introduction to Mathematical Logic

2005 • 1,818 citations

Knowledge and belief

1962 • 1,499 citations

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

1963 • 1,258 citations

A completeness theorem in modal logic

1959 • 1,066 citations

Introduction to Mathematical Logic.

1957 • 937 citations

Semantical Analysis of Intuitionistic Logic I

1965 • 591 citations

The completeness of the first-order functional calculus

1949 • 544 citations

Formal Systems and Recursive Functions

1965 • 268 citations

THE LOGICAL WAY OF DOING THINGS

1970 • 241 citations

On Free Description Theory

1967 • 61 citations

Abstraction in First‐Order Modal Logic¹

1968 • 55 citations

On the strong semantical completeness of the intuitionistic predicate calculus

1968 • 52 citations

On the definition of ‘formal deduction’

1956 • 31 citations

A generalization of the concept ofω-completeness

1957 • 27 citations

Proceedings of a Colloquium on Modal and Many-Valued Logics.

1968 • 18 citations

Tense logic : a study of temporal reference

1966 • 16 citations