Rolf Schock Prize - Logic and Philosophy 2001

For his creation of the modal-logical semantics that bear his name and for his associated original and profound investigations of identy, reference and necessity.