Made influential and original contributions to logic, especially modal logic. Known for developing Kripke semantics, a semantics for modal logic involving possible worlds. Recipient...
Show More
Made influential and original contributions to logic, especially modal logic. Known for developing Kripke semantics, a semantics for modal logic involving possible worlds. Recipient of the 2001 Schock Prize in Logic and Philosophy.