Ruth Barcan Marcus

American academic philosopher and logician best known for her work in modal and philosophical logic