|
gptkbp:instance_of
|
gptkb:philosopher
|
|
gptkbp:bfsLayer
|
4
|
|
gptkbp:bfsParent
|
gptkb:Kurt_Gödel
|
|
gptkbp:affiliated_with
|
gptkb:University
gptkb:Stanford_University
|
|
gptkbp:awards
|
gptkb:Leroy_P._Steele_Prize
|
|
gptkbp:born
|
1939
|
|
gptkbp:campus_facilities
|
gptkb:Robert_Brandom
gptkb:Jon_Barwise
gptkb:David_Lewis
gptkb:Richard_Montague
|
|
gptkbp:contributed_to
|
philosophy of language
philosophical logic
|
|
gptkbp:died_in
|
gptkb:2000
|
|
gptkbp:education_institution
|
gptkb:University
gptkb:Harvard_University
gptkb:University_of_Chicago
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
John Barwise
|
|
gptkbp:influenced
|
gptkb:Artificial_Intelligence
gptkb:computer_science
formal semantics
non-monotonic logic
situation semantics
|
|
gptkbp:is_active_in
|
gptkb:philosopher
gptkb:20th_century
gptkb:computer_science
gptkb:Mathematician
|
|
gptkbp:is_known_for
|
theory of computation
theory of meaning
theory of knowledge
theory of reference
theory of truth
theory of belief
theory of logic
theory of pragmatics
theory of semantics
theory of syntax
theory of information
situation theory
|
|
gptkbp:known_for
|
contributions to logic
theory of situation semantics
|
|
gptkbp:published_by
|
Mathematics and the Mind
Information and Computation
The Situation in Logic
|