|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:University_of_Amsterdam
|
|
gptkbp:award
|
gptkb:Spinoza_Prize
E.W. Beth Dissertation Prize (as namesake)
|
|
gptkbp:birthDate
|
1949-06-12
|
|
gptkbp:birthPlace
|
gptkb:Rijswijk,_Netherlands
|
|
gptkbp:doctoralAdvisor
|
gptkb:Martin_Löb
|
|
gptkbp:doctoralStudent
|
gptkb:Eric_Pacuit
gptkb:Johan_van_Eijck
gptkb:Yde_Venema
|
|
gptkbp:employer
|
gptkb:Stanford_University
gptkb:University_of_Amsterdam
|
|
gptkbp:field
|
gptkb:logic
gptkb:philosophy
computer science
|
|
gptkbp:fullName
|
Johannes Franciscus Antonius Karel van Benthem
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Johan F.A.K. van Benthem
|
|
gptkbp:knownFor
|
gptkb:logic
dynamic logic
logical dynamics
van Benthem theorem
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
|
gptkbp:nationality
|
Dutch
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:philosopher
gptkb:professor
|
|
gptkbp:position
|
professor emeritus
|
|
gptkbp:thesisTitle
|
gptkb:Modal_Correspondence_Theory
|
|
gptkbp:thesisYear
|
1977
|
|
gptkbp:website
|
https://staff.fnwi.uva.nl/j.vanbenthem/
|
|
gptkbp:bfsParent
|
gptkb:J.A._Bergstra
|
|
gptkbp:bfsLayer
|
8
|