Большая биографическая энциклопедия
Крипке (Kripke), Сол Арон
(р. 1940), американский логик и философ, представитель аналитической философии. Работы по логической семантике, в том числе семантике возможных миров («семантика Крипке»).