McCarthy, John

John McArthy on Modal Logic
Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
http://www.garyfeng.com/wordpress/2004/11/30/john-mcarthy-on-modal-logic/

John McCarthy
Short biography. [Smart Computing]
http://www.smartcomputing.com/editorial/dictionary/detail.asp?guid=1&DicID=17873

John McCarthy (Computer Scientist)
Short biography with links to many articles on related topics.
http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist)