|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Yale_University
|
|
gptkbp:author
|
gptkb:An_Introduction_to_First-Order_Logic
gptkb:Language,_Proof_and_Logic
gptkb:Situations_and_Attitudes
gptkb:The_Liar:_An_Essay_on_Truth_and_Circularity
gptkb:Vicious_Circles:_On_the_Mathematics_of_Non-Wellfounded_Phenomena
|
|
gptkbp:award
|
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,_USA
|
|
gptkbp:coauthor
|
gptkb:John_Perry
gptkb:Solomon_Feferman
gptkb:John_Etchemendy
gptkb:Jerry_Seligman
gptkb:Lawrence_Moss
gptkb:Robin_Cooper
|
|
gptkbp:deathDate
|
2000-03-05
|
|
gptkbp:deathPlace
|
gptkb:Bloomington,_Indiana,_USA
|
|
gptkbp:doctoralAdvisor
|
gptkb:Stephen_Kleene
|
|
gptkbp:editor
|
gptkb:Handbook_of_Logic_and_Language
gptkb:Handbook_of_Mathematical_Logic
|
|
gptkbp:employer
|
gptkb:Indiana_University_Bloomington
gptkb:Stanford_University
gptkb:University_of_Wisconsin–Madison
|
|
gptkbp:field
|
gptkb:logic
computer science
philosophy of language
|
|
gptkbp:fullName
|
gptkb:Kenneth_Jon_Barwise
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Jon Barwise
|
|
gptkbp:knownFor
|
gptkb:Barwise_compactness_theorem
admissible set theory
situation semantics
work on non-well-founded sets
|
|
gptkbp:memberOf
|
gptkb:American_Mathematical_Society
gptkb:American_Philosophical_Association
gptkb:Association_for_Symbolic_Logic
|
|
gptkbp:nationality
|
gptkb:American
|
|
gptkbp:notableStudent
|
gptkb:Johan_van_Benthem
gptkb:John_Etchemendy
gptkb:Glyn_Morrill
gptkb:Lawrence_Moss
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:mathematician
gptkb:philosopher
|
|
gptkbp:spouse
|
gptkb:Gretchen_Barwise
|
|
gptkbp:bfsParent
|
gptkb:Tarski's_World
|
|
gptkbp:bfsLayer
|
5
|