This article's lead sectionmay be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article.(March 2021)
Saul Kripke was awarded the Rolf Schock Prize in Logic and Philosophy "for his creation of the modal-logical semantics that bear his name and for his associated original and profound investigations of identity, reference and necessity".[1]