Kripke
Patronyme
Kripke est un nom de famille notamment porté par :
- Saul Aaron Kripke, philosophe et logicien américain né en novembre 1940 ;
- Eric Kripke, créateur de la série télévisée américaine Supernatural ;
- Madeline Kripke (1943-2020), collectionneuse de dictionnaires.
En logique
- La sémantique de Kripke est la sémantique de la logique modale et des la logique intuitionniste.
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.