Kripke
Patronyme[modifier | modifier le code]
Kripke est un nom de famille notamment porté par :
- Saul Aaron Kripke, (1940-2022), philosophe et logicien américain ;
- Eric Kripke (1974-), scénariste, producteur et réalisateur américain ;
- Madeline Kripke (1943-2020), collectionneuse de dictionnaires.
En logique[modifier | modifier le code]
- La sémantique de Kripke est la sémantique de la logique modale et de la logique intuitionniste.