Properties (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosopher
|
| gptkbp:almaMater |
gptkb:New_York_University
|
| gptkbp:birthDate |
1921-08-02
|
| gptkbp:children |
3
|
| gptkbp:deathDate |
2012-03-02
|
| gptkbp:field |
logic
philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Ruth Barcan Marcus
|
| gptkbp:influenced |
gptkb:David_Lewis
gptkb:Saul_Kripke |
| gptkbp:influencedBy |
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell |
| gptkbp:knownFor |
modal logic
quantified modal logic |
| gptkbp:nationality |
American
|
| gptkbp:notableAlumni |
gptkb:Barcan_formula
Barcan_formula's_significance_in_modal_logic |
| gptkbp:occupation |
professor
logician |
| gptkbp:spouse |
Daniel_Marcus
|