Jan Benthem

URI: https://gptkb.org/entity/Jan_Benthem

GPTKB entity

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
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
http://www.w3.org/2000/01/rdf-schema#label	Jan Benthem