Ruth Barcan Marcus

(Nueva York, 1921) Filósofa y lógica estadounidense. Ha extendido la lógica modal al cálculo de los predicados y ha sentado las bases de la lógica modal cuantificada.