http://www.uvm.edu/~lderosse/courses/lang/Kripke%281979%29.p...
(putnam is cited in this paper as well, by the by)
http://www.uvm.edu/~lderosse/courses/lang/Kripke%281979%29.p...
(putnam is cited in this paper as well, by the by)