|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Yale_University
|
|
gptkbp:author
|
gptkb:An_Introduction_to_First-Order_Logic
gptkb:Situations_and_Attitudes
gptkb:Vicious_Circles:_On_the_Mathematics_of_Non-Wellfounded_Phenomena
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science
|
|
gptkbp:birthDate
|
1942-06-29
|
|
gptkbp:birthPlace
|
gptkb:Independence,_Missouri,_United_States
|
|
gptkbp:deathDate
|
2000-03-05
|
|
gptkbp:deathPlace
|
gptkb:Stanford,_California,_United_States
|
|
gptkbp:doctoralAdvisor
|
gptkb:Dana_Scott
|
|
gptkbp:editor
|
gptkb:Handbook_of_Mathematical_Logic
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
philosophy of language
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Kenneth Jon Barwise
|
|
gptkbp:knownFor
|
situation semantics
non-well-founded set theory
work on model theory
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableStudent
|
gptkb:Jon_Barwise
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
gptkb:philosopher
|
|
gptkbp:workInstitution
|
gptkb:Indiana_University
gptkb:Stanford_University
gptkb:University_of_Wisconsin–Madison
|
|
gptkbp:bfsParent
|
gptkb:Jon_Barwise
|
|
gptkbp:bfsLayer
|
6
|