Naming and Necessity, 1980. (八木沢敬・野家啓一訳『名指しと必然性──様相の形而上学と心身問題』、産業図書、1985)
Wittgenstein on Rules and Private Language, 1982. (黒崎宏訳『ウィトゲンシュタインのパラドックス──規則・私的言語・他人の心』、産業図書、1983)
Is There a Problem about Substitutional Quantification?", 1976.(Truth and Meaning pp.325-419/edi. EVANS and McDOWELL/Oxford)
Marian Boykan Pour-El and Saul Kripke, Deduction-preserving "recursive isomorphisms" between theories, Fundamenta Mathematicae. 61 (1967) pp.141-163