Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:philosopher
gptkb:Logic |
| gptkbp:affiliation |
gptkb:Yale_University
|
| gptkbp:born |
August 2, 1921
|
| gptkbp:children |
three
|
| gptkbp:died |
March 2, 2012
|
| gptkbp:field |
gptkb:Mathematics
gptkb:Logic gptkb:philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Ruth Barcan Marcus
|
| gptkbp:influenced |
philosophy of language
philosophical logic modal epistemology |
| gptkbp:known_for |
gptkb:Barcan_formula
modal logic |
| gptkbp:nationality |
gptkb:American
|
| gptkbp:notable_feature |
quantified modal logic
existential quantification in modal contexts |
| gptkbp:received |
gptkb:American_Academy_of_Arts_and_Sciences_membership
Linguistic Society of America award |
| gptkbp:spouse |
Daniel Marcus
|
| gptkbp:bfsParent |
gptkb:Ludwig_Wittgenstein
gptkb:Immanuel_Kant gptkb:Alfred_Tarski |
| gptkbp:bfsLayer |
4
|