Ruth Barcan Marcus

• abstract: Ruth Barcan Marcus (August 2, 1921 – February 19, 2012) was an American philosopher and logician who developed the Barcan formula. She was a pioneering figure in the quantification of modal logic and the theory of direct reference.

以上来源于: WordNet