|
gptkbp:instanceOf
|
gptkb:logic
gptkb:person
gptkb:philosopher
|
|
gptkbp:almaMater
|
gptkb:University_of_Amsterdam
|
|
gptkbp:author
|
gptkb:Handbook_of_Modal_Logic
gptkb:Language_in_Action
gptkb:Logic_in_Games
gptkb:Modal_Correspondence_Theory
gptkb:Modal_Logic_for_Open_Minds
Exploring Logical Dynamics
|
|
gptkbp:awardReceived
|
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:editor
|
gptkb:Journal_of_Logic,_Language_and_Information
gptkb:Journal_of_Philosophical_Logic
gptkb:Studia_Logica
|
|
gptkbp:employer
|
gptkb:Stanford_University
gptkb:Tsinghua_University
gptkb:University_of_Amsterdam
|
|
gptkbp:field
|
gptkb:logic
gptkb:mathematics
gptkb:philosophy
computer science
linguistics
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Johan van Benthem
|
|
gptkbp:knownFor
|
gptkb:logic
philosophy of logic
dynamic logic
game theory in logic
logical dynamics
|
|
gptkbp:memberOf
|
gptkb:Academia_Europaea
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
|
gptkbp:nationality
|
Dutch
|
|
gptkbp:notableStudent
|
gptkb:Johan_van_Benthem
gptkb:Alexandru_Baltag
gptkb:Eric_Pacuit
gptkb:Fenrong_Liu
gptkb:Johan_van_Eijck
gptkb:Rineke_Verbrugge
gptkb:Sonja_Smets
gptkb:Yde_Venema
|
|
gptkbp:occupation
|
gptkb:logic
gptkb:philosopher
gptkb:professor
|
|
gptkbp:thesisTitle
|
gptkb:Modal_Correspondence_Theory
|
|
gptkbp:thesisYear
|
1977
|
|
gptkbp:website
|
https://staff.fnwi.uva.nl/j.vanbenthem/
|
|
gptkbp:bfsParent
|
gptkb:Royal_Netherlands_Academy_of_Arts_and_Sciences
|
|
gptkbp:bfsLayer
|
4
|