Saul A. Kripke

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Semantical Analysis of Intuitionistic Logic I

Saul A. Kripke (1965) · Studies in logic and the foundations of mathematics · Elsevier BV

Semantical considerations on modal logic

Saul A. Kripke (1963) · Acta Philosophica Fennica, 16(1963):83–94

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke (1963) · Mathematical Logic Quarterly · Wiley

A completeness theorem in modal logic

Saul A. Kripke (1959) · Journal of Symbolic Logic · Cambridge University Press