GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Jan Benthem
URI:
https://gptkb.org/entity/Jan_Benthem
GPTKB entity
Statements (23)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:University_of_Amsterdam
gptkbp:awardReceived
gptkb:Spinoza_Prize
gptkbp:birthDate
1949-06-12
gptkbp:birthPlace
gptkb:Aalsmeer,_Netherlands
gptkbp:doctoralAdvisor
gptkb:Johan_van_Benthem
gptkbp:employer
gptkb:Stanford_University
gptkb:University_of_Amsterdam
gptkbp:field
gptkb:logic
gptkb:mathematics
gptkb:philosophy
https://www.w3.org/2000/01/rdf-schema#label
Jan Benthem
gptkbp:knownFor
gptkb:logic
dynamic logic
logical dynamics
correspondence theory
gptkbp:memberOf
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
gptkbp:nationality
Dutch
gptkbp:occupation
gptkb:logic
gptkb:philosopher
gptkb:professor
gptkbp:bfsParent
gptkb:Benthem_Crouwel_Architects
gptkbp:bfsLayer
6