Rolf Schock Prize - Logic and philosophy 2001

Citation
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.